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

What the manifest covers

1 section, each its own tab
Command form

not contributed yet

A form for the flags people reach for most, so a command line can be filled in rather than remembered.

Autocomplete

not contributed yet

Subcommands and options, for completion as you type.

Dotfiles

3 paths

Where it keeps its config, which parts are credentials, and which lines belong to one machine.

Published manifest

Immutable: every revision keeps its URL and its digest
Version window
All versions
Revision
a61f504d2b04a90e020e418e0206f7d107f8e6a6fec282d92adfbe37ff6001ca