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