matita 0.5.8-2build2 (i386 binary) in ubuntu lucid
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
Details
- Package version:
- 0.5.8-2build2
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Optional
Downloadable files
i386 build of matita 0.5.8-2build2 in ubuntu lucid RELEASE produced
these files:
- matita_0.5.8-2build2_i386.deb (5.5 MiB)
Package relationships
- Depends on:
- libatk1.0-0 (>= 1.29.3)
- libc6 (>= 2.11)
- libcairo2 (>= 1.2.4)
- libexpat1 (>= 1.95.8)
- libfontconfig1 (>= 2.8.0)
- libfreetype6 (>= 2.2.1)
- libgdome2-0
- libgdome2-cpp-smart0c2a
- libglade2-0 (>= 1:2.6.1)
- libglib2.0-0 (>= 2.16.0)
- libgtk2.0-0 (>= 2.12.0)
- libgtkmathview0c2a
- libgtksourceview2.0-0 (>= 2.9.7)
- libmysqlclient16 (>= 5.1.21-1)
- libpango1.0-0 (>= 1.14.0)
- libpcre3 (>= 7.7)
- libsqlite3-0 (>= 3.6.22)
- libt1-5 (>= 5.1.0)
- libxml2 (>= 2.6.27)
- zlib1g (>= 1:1.1.4)
- Conflicts:
- Replaces:
- Suggests:
