Télécharger le paquet source acl2 :
ACL2 est à la fois un langage de programmation dans lequel vous pouvez modeler des systèmes informatiques et un outil pour vous aider à prouver les propriétés de ces modèles.
Ce paquet contient la documentation pour ACL2.
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 1 972,4 ko | 8044 ko | [liste des fichiers] |