matita 0.5.7-2 (ia64 binary) in ubuntu karmic

 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