ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM ... More
Project Details
[edit]
AUDIENCE : developers
quality assurance : LICENSE : gnu general public license (gpl)
OPERATING SYSTEM : Linux2
posix : unix : os independent : mac os x : PROGRAMMING LANGUAGE : Common Lisp
USER INTERFACE : win32
mac os x : console :
quality assurance : LICENSE : gnu general public license (gpl)
OPERATING SYSTEM : Linux2
posix : unix : os independent : mac os x : PROGRAMMING LANGUAGE : Common Lisp
USER INTERFACE : win32
mac os x : console :
Project Resources
[edit]Attribution :
Information obtained from users, and repositories like FLOSSmole, Wikipedia, Apache, Codehaus, Tigris and several others. Please inform us of any errors, objections or omissions. You can find our terms of service here.
more details
People
Be the first to add!
Sign in to OStatic
close