Languages
Developers
Countries
Repos
Topics
Repos by coq
coq
/ repos
17 repos
«
1
2
»
Repo
Language
Stars
Rank
coq
OCaml
4,603
9
platform
Shell
178
5,498
opam
OCaml
118
329
ceps
unknown
43
50,204
stdlib2
Coq
39
144
ltac2
unknown
31
63,999
bot
OCaml
23
1,563
coq.github.io
HTML
15
41,831
repo-stable-disabled
unknown
9
168,872
coq-bench
Shell
4
111,289