Imuroi lähdekoodipaketti acl2:
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 source lisp files to the compiled libraries supplied in the ACL2-books package.
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| all | 1,206.8 kt | 9620 kt | [tiedostoluettelo] |