matita binary package in Ubuntu Precise amd64
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
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2011-11-29 09:04:29 UTC | Published | Ubuntu Precise amd64 | release | universe | math | Optional | 0.5.8-3build1 | ||
|
|||||||||
2011-11-29 09:06:09 UTC | Superseded | Ubuntu Precise amd64 | release | universe | math | Optional | 0.5.8-3 | ||
|