Binary package “matita” in ubuntu trusty
interactive theorem prover
Matita is a graphical interactive theorem prover based on the Calculus of
(Co)Inductive Constructions.
Source package
Published versions
- matita 0.99.1-3 in amd64 (Proposed)
- matita 0.99.1-3 in amd64 (Release)
- matita 0.99.1-3 in arm64 (Proposed)
- matita 0.99.1-3 in arm64 (Release)
- matita 0.99.1-3 in armhf (Proposed)
- matita 0.99.1-3 in armhf (Release)
- matita 0.99.1-3 in i386 (Proposed)
- matita 0.99.1-3 in i386 (Release)
- matita 0.99.1-3 in powerpc (Proposed)
- matita 0.99.1-3 in powerpc (Release)
- matita 0.99.1-3 in ppc64el (Release)