1
I Use This!
Activity Not Available
Analyzed over 3 years ago. based on code collected about 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

Commercial Use

Modify

Distribute

Place Warranty

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

Commercial Use

Modify

Distribute

Place Warranty

Use Patent Claims

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
  • ...
    compare projects before you chose one to use
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    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!