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

Project Summary

git-svn mirror of Coq + branches -- see http://github.com/SamB/coq/wikis

Tags

No tags have been added

In a Nutshell, SamB's coq...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    search using multiple tags to find exactly what you need

Languages

Languages?height=75&width=75
OCaml
81%
TeX/LaTeX
16%
9 Other
3%

30 Day Summary

Sep 19 2019 — Oct 19 2019

12 Month Summary

Oct 19 2018 — Oct 19 2019

Ratings

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