| Paketname | matita |
| Beschreibung | interactive theorem prover |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 0.5.8-2+b1 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 14448 Byte |
| Hängt ab von | libatk1.0-0 (>= 1.20.0), libc6 (>= 2.7), libcairo2 (>= 1.2.4), libexpat1 (>= 1.95.8), libfontconfig1 |
| Empfohlene Pakete | graphviz, yelp |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | matita (0.5.8-2) |
| Paketgröße | 5056910 Byte |
| Prüfsumme MD5 | d050f380aebe218f5339f598e74400bc |
| Prüfsumme SHA1 | 31461277210b196f23a8fc8c595744f54a05f6e3 |
| Prüfsumme SHA256 | c1ad3ab3d86118cc20339579a8a2afc0202a0a9404a06572c9327947d2624305 |
| Link zum Herunterladen | matita_0.5.8-2+b1_i386.deb |
| Ausführliche Beschreibung | 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
|