0
I Use This!
Very Low Activity
Analyzed about 4 hours ago. based on code collected about 4 hours ago.

Project Summary

Coq for iOS

Tags

No tags have been added

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
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

Languages?height=75&width=75
XML
45%
Objective-C
37%
OCaml
7%
4 Other
11%

30 Day Summary

Dec 21 2018 — Jan 20 2019

12 Month Summary

Jan 20 2018 — Jan 20 2019

Ratings

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