Coq
languages / Coq3,150Developers
Top ranked
5,078Repos
Top ranked
Most popular
| Topic | Repos | Stars |
|---|---|---|
| compcert | 5 | 1,882 |
| c | 1 | 1,451 |
| type-theory | 3 | 1,235 |
| formal-verification | 14 | 1,200 |
| hacktoberfest | 3 | 1,163 |
| stalin-sort | 1 | 1,143 |
| univalent-foundations | 1 | 1,121 |
| homotopy-type-theory | 1 | 1,121 |
| formal-methods | 4 | 852 |
| ssreflect | 15 | 802 |