Este é o comando acl2 que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
acl2 - Uma Lógica Computacional
SINOPSE
acl2
DESCRIÇÃO
Esta página de manual documenta resumidamente o acl2 comando. Esta página do manual foi escrita para o
Distribuição Debian GNU / Linux porque o programa original não possui uma página de manual.
Em vez disso, ele tem documentação no formato GNU Info, bem como no formato html. Estes são
incluído no pacote acl2-doc. A documentação também pode ser encontrada na página do projeto
site http://www.cs.utexas.edu/users/moore/acl2, tanto em formato html quanto em postscript.
Use acl2 online usando serviços onworks.net