platform-docs

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

étoiles: 21
forks: 11
issues ouvertes: 29

licence: other
langage: Coq
taille: 187 ko
dépendances analysées: 172

date de création: il y a environ un an
date de mise à jour: il y a 2 mois
enregistré: il y a 2 mois
dernière synchronisation: il y a environ 2 mois

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

.github/workflows/docker-action.yml actions

meta.yml cpan

src/package.json npm

src/package-lock.json npm

ecosyste.ms