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