| Paketname | acl2-doc |
| Beschreibung | A Computational Logic for Applicative Common Lisp: documentation |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.6-4 |
| Sektion | universe/doc |
| Priorität | optional |
| Installierte Größe | 9440 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 2396398 Byte |
| Prüfsumme MD5 | 7ae9baf412a6543db83e00068cf398fc |
| Prüfsumme SHA1 | 6ea1e768d6e41c7235ac6521bfc1e4703dbf9b42 |
| Prüfsumme SHA256 | 83f11438ea52514757cf2d8ba01d00118a6a1ee407ba6048d8e344b8f1143a4b |
| Link zum Herunterladen | acl2-doc_3.6-4_all.deb |
| Ausführliche Beschreibung | ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.
.
This package contains the documentation for ACL2.
|