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 |