acl2. ACL2 System and Books as Maintained by the Community

github.com/ghosthamlet/acl2
by @ghosthamlet

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.