1 result found Sort:

acl2
acl2 acl2
106
375
other
36
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
42,897 commits to master branch, last one 20 hours ago