JITPRO: A JavaScript Interactive Higher-Order Tableau Prover

This is the main web page for a JavaScript Interactive Higher-Order Tableau Prover (JITPRO) currently under construction.
Jitpro is being used by students taking the Introduction to Computational Logic course in 2009.
Jitpro was first used by students taking the Introduction to Computational Logic course in 2008.

You can try the prover on a few sample problems here and here.

Preferences Page (For developers and those who want to personalize their Jitpro experience.)

Please send questions or comments to Chad E Brown: cebrown at ps dot uni dash saarland dot de.