Questo è il comando acl2 che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici postazioni di lavoro online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
acl2 - Una logica computazionale
SINOSSI
ac2
DESCRIZIONE
Questa pagina di manuale documenta brevemente il ac2 comando. Questa pagina di manuale è stata scritta per il
Distribuzione Debian GNU/Linux perché il programma originale non ha una pagina di manuale.
Ha invece la documentazione in formato GNU Info e in formato html. Questi sono
incluso nel pacchetto acl2-doc. La documentazione è reperibile anche presso il sito del progetto
sito web http://www.cs.utexas.edu/users/moore/acl2, sia in formato html che in postscript.
Utilizzare acl2 online utilizzando i servizi onworks.net
