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