GitHub / 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.
JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fcoq
Stars: 4,997
Forks: 676
Open issues: 2,624
License: lgpl-2.1
Language: OCaml
Size: 194 MB
Dependencies parsed at: Pending
Created at: about 14 years ago
Updated at: about 2 months ago
Pushed at: about 2 months ago
Last synced at: about 2 months ago
Commit Stats
Commits: 36485
Authors: 321
Mean commits per author: 113.66
Development Distribution Score: 0.761
More commit stats: https://commits.ecosystem.code.gouv.fr/hosts/GitHub/repositories/coq/coq
Topics: coq, dependent-types, proof-assistant, theorem-proving