Analyze coq/coq

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq dependent-types proof-assistant theorem-proving

OCaml

GNU Lesser General Public License v2.1

Overview

Summary of the overall repo health

Adoption

Metrics on how many people know and interact with the repo

Stars

4,595

Open Issues

2,699

Forks

627

Top 1% by stars on GitHub

Excluding zero-starred repos

Contribution

Top Contributors

Top 10 contributors to the repo and their shares

Commits Properties

Metrics showing the quality of commits distribution

Bus Factor

Serious Ratio

Bus factor is less than 10

Diversity

Geo Distribution

Top locations by number of contributors and commits

commits

contributors

Org Distribution

Top organizations contributing to the repo

commits

contributors

Governance

Community governance docs check

Description
Website
Code of Conduct
Contributing.md
Issue Template
PR Template
License
README

More than half checks (7/8)