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).
