Paketname | matita-doc |
Beschreibung | user manual of the Matita interactive theorem prover |
Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
Version | 0.5.8-2 |
Sektion | doc |
Priorität | optional |
Installierte Größe | 2552 Byte |
Hängt ab von | |
Empfohlene Pakete | |
Paketbetreuer | Debian OCaml Maintainers |
Quelle | matita |
Paketgröße | 1670576 Byte |
Prüfsumme MD5 | 55469e9f94760196eba1cde269be2979 |
Prüfsumme SHA1 | 3f032186bf13c0eac61cd85efbdbe2a6e5736f60 |
Prüfsumme SHA256 | 7bd229efec5455bdae4d9bc4fe42515083508cbac372fa03fe17ce58e74e26ae |
Link zum Herunterladen | matita-doc_0.5.8-2_all.deb |
Ausführliche Beschreibung | This package contains the PDF and HTML formatted Matita user manual.
|