0
I Use This!
High Activity
Analyzed 2 days ago. based on code collected 2 days ago.

Project Summary

Homotopy type theory

Tags

No tags have been added

Badges

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record
Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities
Few reported vulnerabilities

Did You Know...

  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    learn about Open Hub updates and features on the Open Hub blog
About Project Security

Languages

Languages?height=75&width=75
coq
98%
6 Other
2%

30 Day Summary

Aug 24 2021 — Sep 23 2021

12 Month Summary

Sep 23 2020 — Sep 23 2021
  • 421 Commits
    Down -319 (43%) from previous 12 months
  • 13 Contributors
    Down -6 (31%) from previous 12 months