| Paketname | acl2-source |
| Beschreibung | A Computational Logic for Applicative Common Lisp: source files |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.6-4 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 10568 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 2737328 Byte |
| Prüfsumme MD5 | 37d72fcec160bcaaf1c9db9094d7ee65 |
| Prüfsumme SHA1 | 7dd43e52d16728ce0db11ee47bb0d2f9ab2d1abd |
| Prüfsumme SHA256 | 7ce14bcda86f1041496f43a1872eac72687e3e37f9eb456e4aa8e33e90309d50 |
| Link zum Herunterladen | acl2-source_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 lisp source files to the main ACL2 binary.
|