matita 0.5.8-2build2 (armel 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
armel build of matita 0.5.8-2build2 in ubuntu lucid RELEASE produced
these files:
- matita_0.5.8-2build2_armel.deb (14.9 MiB)
Package relationships
- Depends on:
- ocaml-base-nox-3.11.2
- Conflicts:
- Replaces:
- Suggests: