[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#448156: ITP: matita -- interactive theorem prover

Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-devel@lists.debian.org

--- Please fill out the fields below. ---

   Package name: matita
        Version: 0.4.0
Upstream Author: helm team
            URL: http://matita.cs.unibo.it
        License: GPL

 Matita is a graphical interactive theorem prover based on the Calculus of
 (Co)Inductive Constructions. 
 Matita adopts XML-encoded proof objects are produced for storage and exchange.
 This makes it compatible, at some extent, with Coq.
 The graphical interface has been inspired by CtCoq and Proof General. It
 supports high quality bidimensional rendering of proofs and formulae
 transformed on-the-fly to MathML markup

Enrico Tassi

Reply to: