| Paketname | acl2-infix-source |
| Beschreibung | A Computational Logic for Applicative Common Lisp: infix source |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.6-4 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 376 Byte |
| Hängt ab von | |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 86392 Byte |
| Prüfsumme MD5 | f423728a13b29a034e28264c9bb6e868 |
| Prüfsumme SHA1 | 8fb89f68495cab6c0364c03c980ec023e813306d |
| Prüfsumme SHA256 | 97a14a84d11b0fc1328c6d216aacaac777b6a76e5e7ae9c1ab0cff19476927f5 |
| Link zum Herunterladen | acl2-infix-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 source files to the infix interface to
ACL2.
|