ACL2 System and Books as Maintained by the Community
Common Lisp Updated about 1 month ago 1 commits 447 stars
prism-dev|Mirror: acl2/acl2 (⭐447)
about 1 month agoAbout
ACL2 System and Books as Maintained by the Community
Readme
447 stars
127 forks