HomePage RecentChanges

alih

Ilya Mezhirov

A student of Moscow State University.

In an effort to understand what it is like to formalize math, I have written a proof checker ufomath at http://ufomath.wikispaces.com . Going to play with it for a while.

— Welcome, Ilya! Great to hear about your project! The more the merrier. Good luck with it. Busy now, talk later? P.S. delete this note to clean up the page :)

--ocat

Thanks! I'll be waiting… --alih

(I've moved some discussion to ufomath) --alih