1. Home
  2. Computer
  3. Programmin­g
  4. ACL2

Computer · Programmin­g

ACL2

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

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]

Tags

Developers and Consultants

Where it sits

Computer Programmin­g

More in Programmin­g

See all →