0
I Use This!
Inactive
Analyzed 4 days ago. based on code collected 12 days ago.

Project Summary

Example Coq plugin

Tags

No tags have been added

In a Nutshell, Constructors...

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
  • ...
    search using multiple tags to find exactly what you need
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    you can embed statistics from Open Hub on your site

Languages

Languages?height=75&width=75
OCaml
58%
coq
42%

30 Day Summary

Sep 6 2019 — Oct 6 2019

12 Month Summary

Oct 6 2018 — Oct 6 2019

Ratings

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