AlphaUncommon
rocq-community/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
- Owner
- rocq-community (organization)
- Stars
- Stars: 397
- Forks
- Forks: 29
- Language
- No language
- License
- CC0-1.0
- Created
- 2020
- Topics
- coqawesomeresourcesawesome-list
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by rocq-community
All 9 repos by rocq-community- rocq-community/rocq-tricksStars: 556CoqAlpha
- rocq-community/fourcolorStars: 253Rocq ProverAlpha
- rocq-community/rocq-lspStars: 212OCamlPrototype
- rocq-community/math-classesStars: 169Rocq ProverPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
- rocq-community/coq-artStars: 131CoqPrototype