Enter sequent you will attempt to prove (example)
Premises (comma separated)Conclusion
Comments placed between SQUARE brackets [like this] anywhere in your proof will be ignored by the checker. For example:  1 (1) P .A [for RAA]

Enter your proof below then
Help will be available after you submit a valid sequent

The response time of the program should be much less than one minute (1-2 seconds is normal from sites on the A&M campus), but this may vary if the network is especially heavily loaded.

Lubarsky's Law of Cybernetic Entomology
"There is always one more bug"


This program was made possible by financial assistance from the Center for Teaching Excellence, a grant from the Electronic Learning Incentives Program, and technical support from Computing and Information Services, all at Texas A&M University. (Special thanks to John McClain and Philip Kizer of CIS.) Programming by Colin Allen and Song Chen.