Acl2

Interpreter and prover for a Lisp dialect

Sitio web del proyecto

Métodos de instalación

¿Abrirlo en una aplicación gráfica? En desarrollo

Canal:

unstable

Versión:

8.6

Soporte:

Sí

Roto:

No

Licencia:

Libre

Plataformas:

78