0
I Use This!
Inactive
Analyzed 6 days ago. based on code collected 14 days ago.

Project Summary

An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Dedukti.

Tags

No tags have been added

In a Nutshell, coqine...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    data presented on the Open Hub is available through our API

Languages

Languages?height=75&width=75
OCaml
93%
Autoconf
5%
2 Other
2%

30 Day Summary

Jul 6 2019 — Aug 5 2019

12 Month Summary

Aug 5 2018 — Aug 5 2019

Ratings

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