GitHub / coq / platform-docs
A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
JSON API: https://ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fplatform-docs
étoiles: 21
forks: 11
issues ouvertes: 29
licence: other
langage: Coq
taille: 187 ko
dépendances analysées: En attente
date de création: il y a environ un an
date de mise à jour: il y a 5 mois
enregistré: il y a 5 mois
dernière synchronisation: il y a 4 mois
Commit Stats
Commits: 66
Authors: 9
Mean commits per author: 7.33
Development Distribution Score: 0.576
More commit stats: https://commits.ecosystem.code.gouv.fr/hosts/GitHub/repositories/coq/platform-docs