Package: wnpp
Severity: wishlist
X-Debbugs-CC: [email protected]
--- 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
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
