Mechanized Reasoning -- test page

• Clause-Diffusion theorem provers -- experimental prototypes for distributed deduction -- currently not available.
  • Contact: Maria Paola Bonacina, bonacina@cs.uiowa.edu
  • web page

• The Imperial College Logic Environment (ICLE) is designed to assist in the development of Gentzen-style presentations of logics. Besides this it can be used to develop type inference systems and other proof theoretic presentations of logics. Derivations can be easily constructed.
  • brief summary
  • Contact: Mark Dawson md@doc.ic.ac.uk
  • ftp site