Mechanized Reasoning -- test page
Clause-Diffusion theorem provers -- experimental prototypes for distributed
deduction -- currently not available.
- Contact: Maria Paola Bonacina, firstname.lastname@example.org
- 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.