leastfixedpoint
~tonyg
Projects
Blog
Contact
Archived tweet #6999 from the
@leastfixedpoint Twitter Archive
I'm translating a Coq script into English (well, LaTeX).
