Il s'agit de la commande acl2 qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
acl2 - Une logique computationnelle
SYNOPSIS
acl2
DESCRIPTION
Cette page de manuel documente brièvement les acl2 commander. Cette page de manuel a été écrite pour le
Distribution Debian GNU/Linux car le programme original n'a pas de page de manuel.
Au lieu de cela, il a une documentation au format GNU Info ainsi qu'au format html. Ceux-ci sont
inclus dans le package acl2-doc. La documentation est également disponible sur le site du projet
site Web http://www.cs.utexas.edu/users/moore/acl2, à la fois sous forme html et en postscript.
Utilisez acl2 en ligne à l'aide des services onworks.net