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 les fichiers source pour l'interface infix d'ACL2.
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 83,3 ko | 372 ko | [liste des fichiers] |