otty / apps
All apps/ACL2

ACL2

acl2

ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models.

Runs as acl2|macOS, Linux, Windows|acl2.org
otty.toml

Command form

Not contributed yet

ACL2’s manifest has no command form yet. It is one section of apps/acl2/otty.toml — contribute it.