|
|
| Distribution |
Debian experimental |
| Abteilung |
math |
| Quelle |
matita |
| Version |
0.5.6-1 |
| Maintainer |
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
|
| 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
|
| Abhängig von | libart-2.0-2 (>= 2.3.18), libatk1.0-0 (>= 1.20.0), libc6 (>= 2.7-1), libcairo2 (>= 1.2.4), libexpat1 (>= 1.95.8), libgdome2-0, libgdome2-cpp-smart0c2a, libglade2-0 (>= 1:2.6.1), libglib2.0-0 (>= 2.16.0), libgnomeprint2.2-0 (>= 2.17.0), libgtk2.0-0 (>= 2.12.0), libgtkmathview0c2a, libgtksourceview1.0-0 (>= 1.7.2), libmysqlclient15off (>= 5.0.27-1), libpango1.0-0 (>= 1.20.3), libpcre3 (>= 7.7), libsqlite3-0 (>= 3.5.9), libt1-5 (>= 5.1.0), libxml2 (>= 2.6.27), zlib1g (>= 1:1.1.4) | | Recommends | graphviz, matita-standard-library, yelp |
| Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
| Download |
amd64 |
|
|
|
