GitHub / coq / ltac2
A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
JSON API: https://ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fltac2
étoiles: 31
forks: 10
issues ouvertes: 0
licence: None
langage:
taille: 658 ko
dépendances analysées: En attente
date de création: il y a presque 8 ans
date de mise à jour: il y a presque 4 ans
enregistré: il y a environ 6 ans
dernière synchronisation: il y a 2 mois
Commit Stats
Commits: 316
Authors: 17
Mean commits per author: 18.59
Development Distribution Score: 0.177
More commit stats: https://commits.ecosystem.code.gouv.fr/hosts/GitHub/repositories/coq/ltac2
Sujets: coq-plugin