Este es el comando acl2 que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
acl2 - Una lógica computacional
SINOPSIS
acl2
DESCRIPCIÓN
Esta página de manual documenta brevemente la acl2 mando. Esta página de manual fue escrita para
Distribución Debian GNU / Linux porque el programa original no tiene una página de manual.
En cambio, tiene documentación en formato GNU Info así como en formato html. Estos son
incluido en el paquete acl2-doc. La documentación también se puede encontrar en el
sitio web http://www.cs.utexas.edu/users/moore/acl2, tanto en formato html como en postscript.
Use acl2 en línea usando los servicios de onworks.net
