2
I Use This!
Activity Not Available
Analyzed 6 months ago. based on code collected 6 months 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.

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record
Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities
Few reported vulnerabilities

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    compare projects before you chose one to use
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
About Project Security

Languages

Lisp
99%
27 Other
1%

30 Day Summary

Apr 20 2022 — May 20 2022

12 Month Summary

May 20 2021 — May 20 2022
  • 5747 Commits
    Up + 987 (20%) from previous 12 months
  • 28 Contributors
    Up + 1 (3%) from previous 12 months