matita 0.99.1-3 (armhf binary) in ubuntu trusty
Matita is a graphical interactive theorem prover based on the Calculus of
(Co)Inductive Constructions.
Details
- Package version:
- 0.99.1-3
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
armhf build of matita 0.99.1-3 in ubuntu trusty PROPOSED produced
these files:
- matita_0.99.1-3_armhf.deb (2.4 MiB)