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