2
I Use This!
Very High Activity
Analyzed 9 days ago. based on code collected 9 days ago.

Project Summary

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).

Tags

acl2 lisp theoremproving

GNU General Public License v2.0 or later
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Sub-License

Hold Liable

Required

Distribute Original

Disclose Source

Include Copyright

State Changes

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    check out hot projects on the Open Hub
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

Languages?height=75&width=75
Lisp
96%
24 Other
4%

30 Day Summary

Jan 10 2018 — Feb 9 2018

12 Month Summary

Feb 9 2017 — Feb 9 2018
  • 1451 Commits
    Down -24 (1%) from previous 12 months
  • 20 Contributors
    Up + 2 (11%) from previous 12 months