GitHub repository: myall86/acl2
Primary language: Common Lisp
Description: ACL2 System and Books as Maintained by the Community