Coq

All repositories

Overview

HEALTH SCORE

Fair*

Partial score (2/3 categories)

39out of 75

Maintainer coverage drags the score down. Security posture helps keep it from falling further. Development Activity is unavailable, so weights were redistributed.

LIFECYCLE

Active

Consistent commits, responsive maintainers, regular releases, and healthy issue triage.

Display your project Health score on your GitHub page.

Health breakdown

Fair*(39/75)

Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.

Maintainer responsiveness

No PRs or issues were opened in the review window, so response time could not be measured.

Bus factor

No data available. Repository has not been indexed for bus factor.

Organization Diversity

Contributors span 43 organizations.

Project Achievements

Leaderboards

About

Coq is a formal proof management system and dependently typed programming language that enables mathematical theorem proving, formal specification and verification of programs, and formalized mathematics. It provides a rich environment for interactive development of machine-checked proofs.

First commit

August 1999

Software value

$16M