leastfixedpoint
~tonyg
Projects
Blog
Contact
Archived tweet #4820 from the
@leastfixedpoint Twitter Archive
Proof drama. (Nontermination implies stuckness! Weird)
