+Recommends: matita-standard-library
+Description: interactive theorem prover
+ 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