2
I Use This!
Very High Activity
Analyzed about 6 hours ago. based on code collected about 6 hours 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
  • ...
    search using multiple tags to find exactly what you need
  • ...
    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

Mar 22 2018 — Apr 21 2018

12 Month Summary

Apr 21 2017 — Apr 21 2018
  • 1574 Commits
    Up + 165 (11%) from previous 12 months
  • 20 Contributors
    Down -1 (4%) from previous 12 months