Naproche - Natural Language Proof Checking

Important note: This web interface works on Naproche 0.47 from June 2010. Currently we are working on a major update of the Naproche system (Naproche 0.5), which will soon be released. Hence this web interface only gives a limited idea of what is by now possible in Naproche. (2011-05-13)