GitHub / coq / stdlib
Stdlib for the Rocq Prover
JSON API: https://ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fstdlib
étoiles: 8
forks: 8
issues ouvertes: 74
licence: lgpl-2.1
langage: Coq
taille: 157 Mo
dépendances analysées: En attente
date de création: il y a 11 mois
date de mise à jour: il y a 3 mois
enregistré: il y a 3 mois
dernière synchronisation: il y a 3 mois
Readme
Loading...