ACL2

ACL2

ACL2

ACL2

Free Multipurpose system used as a programming language, specification language, modeling language, logic, and theorem prover

Your vote:

Latest version:

Developer:

Matt Kaufmann and J Strother Moore University of Texas at Austin

Screenshots

1 / 1

Awards (1)

Show all awards

Freeware

Edit program info

Info updated on: Apr 12, 2024

Software Informer

Software Informer

Download popular programs, drivers and latest updates easily

ACL2 is a comprehensive programming language, specification language, modeling language, formal mathematical logic, and semi-automatic theorem prover.

Share your experience:

Write a review about this program

Comments

Recent downloads

Latest updates