AlphaUncommon
rocq-community/rocq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
- Owner
- rocq-community (organization)
- Stars
- Stars: 556
- Forks
- Forks: 25
- Language
- Coq
- License
- MIT
- Created
- 2016
- Topics
- coq
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by rocq-community
All 9 repos by rocq-community- rocq-community/awesome-coqStars: 397Alpha
- rocq-community/fourcolorStars: 252Rocq ProverAlpha
- rocq-community/rocq-lspStars: 212OCamlPrototype
- rocq-community/math-classesStars: 169Rocq ProverPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
- rocq-community/coq-artStars: 131CoqPrototype
Nearby in Coq
All Coq repos- princeton-vl/CoqGymStars: 422CoqAlpha
- antalsz/hs-to-coqStars: 283CoqAlpha
- lulinchen/cnn_openStars: 263CoqAlpha