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