Acl2

Interpreter and prover for a Lisp dialect

Project website

Installation methods

Open it in a graphical application? In development

channel:

unstable

version:

8.6

supported:

Yes

broken:

No

license:

Proprietary

platforms:

78