ACL2 es tanto un lenguaje de programación en el que puede modelar sistemas informáticos como una herramienta para ayudarle a probar propiedades de esos modelos.
Este paquete contiene la documentación de ACL2.
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 1,972.4 kB | 8044 kB | [list of files] |