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