1 result found Sort:

acl2
acl2 acl2
96
347
other
35
ACL2 System and Books as Maintained by the Community
acl2 logic rewriting common-lisp formal-methods theorem-prover theorem-proving first-order-logic formal-verification
Created 2014-09-01
38,295 commits to master branch, last one 17 hours ago