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.
acl2
dotfiles
JSON · TOML
A window holds from its version up to the next one’s. Otty picks the window from the version it finds installed, and a manifest with no window holds for all of them.
