2
I Use This!
Very High Activity
Analyzed 5 days ago. based on code collected 5 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

Place Warranty

Commercial Use

Modify

Distribute

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
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    check out hot projects on the Open Hub

Languages

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

30 Day Summary

Jun 17 2018 — Jul 17 2018

12 Month Summary

Jul 17 2017 — Jul 17 2018
  • 1622 Commits
    Up + 356 (28%) from previous 12 months
  • 27 Contributors
    Up + 7 (35%) from previous 12 months