| Paketname | acl2-infix |
| Beschreibung | A Computational Logic for Applicative Common Lisp: infix interface |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 4.0-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 1148 Byte |
| Hängt ab von | acl2 (= 4.0-3), texlive-latex-recommended |
| Empfohlene Pakete | acl2-infix-source (= 4.0-3) |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 390414 Byte |
| Prüfsumme MD5 | 9ffc35b11ed7689d40deba565e22a1dc |
| Prüfsumme SHA1 | 9fb85a113f9569f54690c2f81d9874c7c827ef91 |
| Prüfsumme SHA256 | 2139ee6e96e21d0386804c40cc6b6228bea89e227e02e46d02a65fa80b2e346e |
| Link zum Herunterladen | acl2-infix_4.0-3_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.
|