[ hardy ]
[ Quellcode: matita ]
Paket: matita-standard-library (0.4.98-5) [universe]
Links für matita-standard-library
Ubuntu-Ressourcen:
Quellcode-Paket matita herunterladen:
Betreuer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Enrico Tassi
- Stefano Zacchiroli
It should generally not be necessary for users to contact the original maintainer.
Externe Ressourcen:
- Homepage [matita.cs.unibo.it]
Ähnliche Pakete:
standard library for the Matita interactive theorem prover
Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.
This package contains the standard library of theorems of the matita interactive theorem prover.
Andere Pakete mit Bezug zu matita-standard-library
|
|
|
-
- dep: matita (= 0.4.98-5)
- interactive theorem prover
matita-standard-library herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 12.107,8 kB | 51.368,0 kB | [Liste der Dateien] |