GitHub / coq / stdlib2
JSON API: https://ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fstdlib2
étoiles: 39
forks: 9
issues ouvertes: 14
licence: lgpl-2.1
langage: Coq
taille: 80,1 ko
dépendances analysées: En attente
date de création: il y a plus de 7 ans
date de mise à jour: il y a plus d'un an
enregistré: il y a presque 2 ans
dernière synchronisation: il y a 11 mois
Commit Stats
Commits: 15
Authors: 9
Mean commits per author: 1.67
Development Distribution Score: 0.8
More commit stats: https://commits.ecosystem.code.gouv.fr/hosts/GitHub/repositories/coq/stdlib2
Readme
Loading...