Class and Int are proof checkers for classical and intuitionistic logics respectively. That means they are computer programs that check mathematical proofs for its correctness.
We use Class and Int programs on seminars with students in courses "Mathematical logics and algorithm theory", "Artificial inlelligence" etc.
Class 1.0 and Int 1.0 are dedicated for reasoning verification in natural deduction system of single-typed first-order logic language. Class 2.0 and Int 2.0 are for many-typed logic.
Proof checkers are command-line tools and used as follows:
This site is best viewed with Opera and Firefox
This site last updated: 8 november 2007
(This site is under construction)