Mechanized Reasoning -- Related Pages
Bibliography of Automated Deduction
(watch out - this is a big one)
An On-Line Repository of Formal Methods Educational Materials
web page for automated induction
. This page includes a subpage for benchmarks and challenge problems.
automated deduction page
Logical Frameworks home page
, and a
Logical Frameworks Implementations Database
maintained by Frank Pfenning
Michael Kohlhase's list of
DFG Research Programme "Deduktion"
(Thousands of Problems for Theorem Proving) library.
Construction of Computational Logics
This page comes to you courtesy of
Last updated 27 January 1997.