Debian logoDebian Screenshots >

matita

interactive theorem prover

interactive theorem prover
from version 0.99.1-1

Description

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

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

http://matita.cs.unibo.it


Statistics

7721 other people were interested in this package here. The newest known version of this software is 0.99.3-1+b2 (Information last updated about 7 hours ago.)