https://github.com/acl2/acl2

ACL2 System and Books as Maintained by the Community

acl2 common-lisp first-order-logic formal-methods formal-verification logic rewriting theorem-prover theorem-proving

Last synced: 20 Mar 2025