1
I Use This!
Activity Not Available
Analyzed almost 4 years ago. based on code collected over 5 years ago.

Project Summary

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

The archive is hosted by sourceforge to provide continuity and easy free access to archive entries. The entries are tested and maintained continuesly against the current stable release of Isabelle. Older versions of archive entries will remain available.

Tags

No tags have been added

In a Nutshell, The Archive of Formal Proofs...

BSD 3-clause "New" or "Revised" License
Permitted

Place Warranty

Commercial Use

Modify

Distribute

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

Include License

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

GNU Library or "Lesser" GPL (LGPL)
Permitted

Place Warranty

Use Patent Claims

Commercial Use

Modify

Distribute

Forbidden

Sub-License

Hold Liable

Required

Distribute Original

Disclose Source

Include Copyright

State Changes

Include License

Include Install Instructions

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
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    you can embed statistics from Open Hub on your site

Languages

Languages?height=75&width=75
OCaml
58%
TeX/LaTeX
26%
Haskell
11%
11 Other
5%

30 Day Summary

Feb 15 2013 — Mar 17 2013

12 Month Summary

Mar 17 2012 — Mar 17 2013
  • 645 Commits
    Up + 41 (6%) from previous 12 months
  • 27 Contributors
    Up + 1 (3%) from previous 12 months

Ratings

1 user rates this project:
5.0
 
5.0/5.0
Click to add your rating
   Spinner
Review this Project!