0
I Use This!
Activity Not Available
Analyzed 7 months ago. based on code collected 9 months ago.

Project Summary

No description has been added for this project. Add description

Tags

No tags have been added

In a Nutshell, Brilliant...

Quick Reference

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
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    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
coq
46%
OCaml
20%
TeX/LaTeX
9%
16 Other
25%

30 Day Summary

Feb 8 2017 — Mar 10 2017

12 Month Summary

Mar 10 2016 — Mar 10 2017

Ratings

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