**** First time users DEMO HERE!!! ****

MORE HELP HERE
Enter a sequent to prove below (edit the example).

Enter your proof below then .


See here for general information, help with proof strategies, or browser difficulties.
The normal response time of the program should be considerably less than one minute (5-10 seconds is normal from sites on the A&M campus), but this may vary if the network is especially heavily loaded.

The LOGIC DAEMON

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