Directory | Tags | Index | LinkIt | Submit   | Help
    Sunday, 04 October 2015 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > By Topic > Science and Engineering

View the dependency graph for this library

Created by amoroso on: Sat, 14 Oct 2006 09:28:36 GMT, Last modification: Sat, 14 Oct 2006 09:28:36 GMT

ACL2 (A Computational Logic for Applicative Common Lisp) is a programming language for modeling computer systems and a tool for proving properties of those models. It was developed at the University of Texas at Austin.
Web site
Mailing list
Version3.0 - Sunday, 28 May 2006
OS compatibilityUnix, MacOS X, Windows
ASDF installableNo
Official Download
Mirrored Download
Source code repository

Compatible Implementations

Allegro Common Lisp | CMUCL | SBCL | CLISP | LispWorks | OpenMCL | MCL | GCL

Authors and Maintainers

Matt Kaufmann | J. Strother Moore


Science and Engineering | Mathematics | Artificial Intelligence | Applications | Libraries | Unix family | Windows family | GPL

0 Notes and 0 comments

0 Notes

You must be logged to add a note


You must be logged to add a comment