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