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