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

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Sub-License

Hold Liable

Required

Include Copyright

Include License

Distribute Original

Disclose Source

State Changes

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
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    data presented on the Open Hub is available through our API

Languages

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

30 Day Summary

Sep 13 2018 — Oct 13 2018

12 Month Summary

Oct 13 2017 — Oct 13 2018
  • 1797 Commits
    Up + 484 (36%) from previous 12 months
  • 25 Contributors
    Up + 3 (13%) from previous 12 months