[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
    Description: 

 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: