GitHub / coq / doc
Coq user manual, automatically deployed
JSON API: https://repos.data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fdoc
étoiles: 0
forks: 1
issues ouvertes: 0
licence: None
langage: HTML
taille: 1,52 Go
dépendances analysées: En attente
date de création: il y a presque 7 ans
date de mise à jour: il y a 9 mois
enregistré: il y a 9 mois
dernière synchronisation: il y a 9 mois
Commit Stats
Commits: 4654
Authors: 6
Mean commits per author: 775.67
Development Distribution Score: 0.009
More commit stats: https://commits.ecosystem.code.gouv.fr/hosts/GitHub/repositories/coq/doc