| Paketname | matita |
| Beschreibung | interactive theorem prover |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 0.5.8-2build2 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 15992 Byte |
| Hängt ab von | libatk1.0-0 (>= 1.29.3), libc6 (>= 2.11), libcairo2 (>= 1.2.4), libexpat1 (>= 1.95.8), libfontconfig |
| Empfohlene Pakete | graphviz, yelp |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 5808566 Byte |
| Prüfsumme MD5 | 0c754e5924a0742cc9cce938e3129cd5 |
| Prüfsumme SHA1 | 8c92cde2d855b079f755a04dd27fb599b2f253ac |
| Prüfsumme SHA256 | 9b24ba9567313a931f8875a951feba20bb2938f1e250dc10fa4ea9a11ff444b2 |
| Link zum Herunterladen | matita_0.5.8-2build2_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
|