Coq
languages / Coq3,211Developers
Top ranked
5,168Repos
Top ranked
Most popular
| Topic | Repos | Stars |
|---|---|---|
| compcert | 4 | 1,557 |
| c | 1 | 1,477 |
| type-theory | 3 | 1,247 |
| formal-verification | 14 | 1,216 |
| hacktoberfest | 4 | 1,168 |
| stalin-sort | 1 | 1,146 |
| univalent-foundations | 1 | 1,133 |
| homotopy-type-theory | 1 | 1,133 |
| formal-methods | 4 | 865 |
| ssreflect | 15 | 807 |