| Paketname | acl2-infix |
| Beschreibung | A Computational Logic for Applicative Common Lisp: infix interface |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.6-4 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 1148 Byte |
| Hängt ab von | acl2 (= 3.6-4), texlive-latex-recommended |
| Empfohlene Pakete | acl2-infix-source (= 3.6-4) |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 388582 Byte |
| Prüfsumme MD5 | e2a8b06017a7eadad1ac6ebe7c0b2657 |
| Prüfsumme SHA1 | c1aa151701097865b664a062c7d6a58aaa1ba29a |
| Prüfsumme SHA256 | 079cc3b52e51d098786aa09358d5f3c57c9e6b8fd142fb8606bebe33fbf2c4d9 |
| Link zum Herunterladen | acl2-infix_3.6-4_i386.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 utilities and libraries to access ACL2 via an
infix notation similar to that used in many non-lisp programming
languages.
|