Mechanized Reasoning -- Related Pages

• ORA Canada Bibliography of Automated Deduction (watch out - this is a big one)

• An On-Line Repository of Formal Methods Educational Materials

• David McAllester's web page for automated induction . This page includes a subpage for benchmarks and challenge problems.

• Tomas Uribe's automated deduction page

• A Logical Frameworks home page , and a Logical Frameworks Implementations Database maintained by Frank Pfenning

• Michael Kohlhase's list of German related deduction systems.

DFG Research Programme "Deduktion"
• TPTP (Thousands of Problems for Theorem Proving) library.

• Construction of Computational Logics

Last updated 27 January 1997.