0
I Use This!
Inactive
Analyzed about 9 hours ago. based on code collected about 10 hours ago.

Project Summary

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

Tags

No tags have been added

In a Nutshell, Archive of Formal Proofs...

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
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    search using multiple tags to find exactly what you need

Languages

Languages?height=75&width=75
OCaml
38%
TeX/LaTeX
49%
7 Other
13%

30 Day Summary

Jul 18 2018 — Aug 17 2018

12 Month Summary

Aug 17 2017 — Aug 17 2018

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!