# rocq-community/rocq-tricks

<https://repo.masters-masters.com/en/repos/rocq-community/rocq-tricks>

[Home](https://repo.masters-masters.com/en) › [rocq-community](https://repo.masters-masters.com/en/owners/rocq-community) › [rocq-tricks](https://repo.masters-masters.com/en/repos/rocq-community/rocq-tricks)

rocq-community/rocq-tricks has 556 stars on GitHub. Its RepoMasters card: Alpha tier. Tricks you wish the Coq manual told you \[maintainer=@tchajed\]

| Field | Value |
| --- | --- |
| Owner | [rocq-community](https://repo.masters-masters.com/en/owners/rocq-community) |
| Stars | 556 |
| Forks | 25 |
| Language | [Coq](https://repo.masters-masters.com/en/languages/coq) |
| License | MIT |
| Created | 2016 |
| Topics | coq |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [rocq-community/rocq-tricks](https://github.com/rocq-community/rocq-tricks) |

## Repository

Tricks you wish the Coq manual told you \[maintainer=@tchajed\]

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by rocq-community

- [rocq-community/awesome-coq · ★ 397 · Alpha](https://repo.masters-masters.com/en/repos/rocq-community/awesome-coq)
- [rocq-community/fourcolor · ★ 253 · Rocq Prover · Alpha](https://repo.masters-masters.com/en/repos/rocq-community/fourcolor)
- [rocq-community/rocq-lsp · ★ 212 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/rocq-lsp)
- [rocq-community/math-classes · ★ 169 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/math-classes)
- [rocq-community/coq-ext-lib · ★ 136 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/coq-ext-lib)
- [rocq-community/coq-art · ★ 131 · Coq · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/coq-art)

## Nearby in Coq

- [princeton-vl/CoqGym · ★ 422 · Coq · Alpha](https://repo.masters-masters.com/en/repos/princeton-vl/CoqGym)
- [antalsz/hs-to-coq · ★ 283 · Coq · Alpha](https://repo.masters-masters.com/en/repos/antalsz/hs-to-coq)
- [lulinchen/cnn\_open · ★ 263 · Coq · Alpha](https://repo.masters-masters.com/en/repos/lulinchen/cnn_open)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.