AlphaPeu commune
rocq-community/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
- Propriétaire
- rocq-community (organisation)
- Étoiles
- Étoiles : 397
- Forks
- Forks : 29
- Langage
- Sans langage
- Licence
- CC0-1.0
- Création
- 2020
- Sujets
- coqawesomeresourcesawesome-list
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de rocq-community
Les 9 dépôts de rocq-community- rocq-community/rocq-tricksÉtoiles : 556CoqAlpha
- rocq-community/fourcolorÉtoiles : 253Rocq ProverAlpha
- rocq-community/rocq-lspÉtoiles : 212OCamlPrototype
- rocq-community/math-classesÉtoiles : 169Rocq ProverPrototype
- rocq-community/coq-ext-libÉtoiles : 136Rocq ProverPrototype
- rocq-community/coq-artÉtoiles : 131CoqPrototype