interactive theorem prover

interactive theorem prover

matita

Free

Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.

License: Open Source
Version: 0.99.1