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

Autocomplete

Not contributed yet

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