Forgot your password?
New user?
Maude 2.2
Some Theorem Proving Strategies and their Implementation
Welcome to the QPQ Deductive Software Repository
Document Actions
ACL2 3.0
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.
Size 5.7 MB - File type application/x-tar
Click here to get the file
by
shankar
—
last modified
2007-01-31 15:50
Contributors:
Robert Boyer, J Strother Moore, and Matt Kaufmann
