Other Theorem-Proving Links

* Automated Reasoning Database at Stanford.
* The TPTP Home Page.
* QED Home page.
* ORA Bibliography of Automated Deduction
* Tomás Uribe's automated deduction page.
* Logical Frameworks Page.
* Formal Methods Library at Oxford.
* The Mizar Home Page.
* Association for Automated Reasoning (AAR)
* Conference on Automated Deduction (CADE)
* Journal of Automated Reasoning (JAR)

Past and Present Members of the TPS Project:

[Peter Andrews] [Matthew Bishop] [Chad E. Brown] [Sunil Issar] [Dan Nesmith] [Frank Pfenning] [Hongwei Xi]

(not by any means an exhaustive list).

PrevTopNEW!  Mail