ACL2

ACL2
All Links

Share this:

Details of ACL2

About ACL2
ACL2- Applicative Common Lisp, multipurpose system. Most common uses: language for programming, specification, modeling; a formal mathematical logic, semi-automatic theorem prover. [Open Source, GPL]
Developers and Consultants