| Paketname | hol88-doc |
| Beschreibung | Documentation for hol88 |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 2.02.19940316-9 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 1100 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | hol88 |
| Paketgröße | 1019788 Byte |
| Prüfsumme MD5 | 3126e7ba61c3554178fba18fc2e3240d |
| Prüfsumme SHA1 | 4e21ca96ba56059544014d5b544cf2a712c98f6e |
| Prüfsumme SHA256 | 308088255f79d2a9420e941020076fef743d364522df059b86f820e0b87b7968 |
| Link zum Herunterladen | hol88-doc_2.02.19940316-9_all.deb |
| Ausführliche Beschreibung | The HOL System is an environment for interactive theorem proving in a
higher-order logic. Its most outstanding feature is its high degree
of programmability through the meta-language ML. The system has a
wide variety of uses from formalizing pure mathematics to
verification of industrial hardware. Academic and industrial sites
world-wide are using HOL.
|