**** First time users
DEMO HERE!!! ****
MORE HELP HERE
See here for
help with proof strategies, or
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
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.