Télécharger le paquet source acl2 :
ACL2 est à la fois un langage de programmation dans lequel vous pouvez modeler des systèmes d'ordinateur et un outil pour vous aider à prouver les propriétés de ces modèles.
Ce paquet contient le binaire ACL2 de base.
|
|
|
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| m68k | 15 461,3 ko | 50560 ko | [liste des fichiers] |