0
I Use This!
Moderate Activity
Analyzed 1 day 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...

  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    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
  • ...
    search using multiple tags to find exactly what you need
About Project Security

Languages

coq
98%
7 Other
2%

30 Day Summary

May 9 2023 — Jun 8 2023

12 Month Summary

Jun 8 2022 — Jun 8 2023
  • 315 Commits
    Up + 91 (40%) from previous 12 months
  • 11 Contributors
    Down -6 (35%) from previous 12 months