| Paketname | acl2-infix-source |
| Beschreibung | A Computational Logic for Applicative Common Lisp: infix source |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 4.0-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 376 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 89318 Byte |
| Prüfsumme MD5 | 37de469b637f44cdc624221d347bf93d |
| Prüfsumme SHA1 | ad22d4f25ad978d499934cc6008e49b248c1b7d7 |
| Prüfsumme SHA256 | 23ae3a355b9226c40de5154c33d06bc6f5cfd0fe7f35241040bd04db444707c7 |
| Link zum Herunterladen | acl2-infix-source_4.0-3_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 source files to the infix interface to
ACL2.
|