PrototypeCommune
rocq-community/coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- Propriétaire
- rocq-community (organisation)
- Étoiles
- Étoiles : 131
- Forks
- Forks : 25
- Langage
- Coq
- Licence
- MIT
- Création
- 2019
- Sujets
- coqcoq-artexercisesdocker-coq-action
- Rang
- Prototype (100 à 249 ★) 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/awesome-coqÉtoiles : 397Alpha
- 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
D’autres dépôts Coq
Tous les dépôts Coq- Lysxia/advent-of-coq-2018Étoiles : 141CoqPrototype
- rocq-archive/coq-serapiÉtoiles : 136CoqPrototype
- project-oak/silveroakÉtoiles : 133CoqPrototype
- verse-lab/ceramistÉtoiles : 127CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageÉtoiles : 120CoqPrototype
- inQWIRE/QWIREÉtoiles : 113CoqPrototype