PrototypeCommon
rocq-community/coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- Owner
- rocq-community (organization)
- Stars
- Stars: 131
- Forks
- Forks: 25
- Language
- Coq
- License
- MIT
- Created
- 2019
- Topics
- coqcoq-artexercisesdocker-coq-action
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by rocq-community
All 9 repos by rocq-community- rocq-community/rocq-tricksStars: 556CoqAlpha
- rocq-community/awesome-coqStars: 397Alpha
- rocq-community/fourcolorStars: 253Rocq ProverAlpha
- rocq-community/rocq-lspStars: 212OCamlPrototype
- rocq-community/math-classesStars: 169Rocq ProverPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
Nearby in Coq
All Coq repos- Lysxia/advent-of-coq-2018Stars: 141CoqPrototype
- rocq-archive/coq-serapiStars: 136CoqPrototype
- project-oak/silveroakStars: 133CoqPrototype
- verse-lab/ceramistStars: 127CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageStars: 120CoqPrototype
- inQWIRE/QWIREStars: 113CoqPrototype