A
Analyzed about 17 hours ago
Community ACL2 System and Books
The ACL2 theorem proving environment consists of two parts: The ACL2 System and The ACL2 Books. This repository contains both. Home pages are at:
http://www.cs.utexas.edu/users/moore/acl2/ (ACL2 theorem prover)
https://github.com/acl2/acl2 (community system + books repository).
16.2M
lines of code
26
current contributors
2 days
since last commit
2
users on Open Hub