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
étoiles: 4 997
forks: 676
issues ouvertes: 2 624
licence: lgpl-2.1
langage: OCaml
taille: 194 Mo
dépendances analysées:
0
date de création: il y a environ 14 ans
date de mise à jour: il y a environ 2 mois
enregistré: il y a environ 2 mois
dernière synchronisation: il y a environ 2 mois
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
Sujets: coq, dependent-types, proof-assistant, theorem-proving
No dependencies found