Find my rank

theorem-proving top developers

Name Rank Expertise Top repository Top badge
# 1
theorem...
lean
OCaml
Shell
Contributor
# 2
theorem...
coq
OCaml
Shell
coq 3.2K
Contributor
# 3
theorem...
coq
OCaml
opam
coq 3.2K
Contributor
# 4
theorem...
f-sharp
F#
Shell
FStar 2.0K
Contributor
# 5
theorem...
f-sharp
F#
Shell
FStar 2.0K
Contributor
# 6
theorem...
coq
OCaml
Atom
coq 3.2K
Contributor
# 7
theorem...
coq
OCaml
vscode
coq 3.2K
Contributor
# 8
theorem...
coq
OCaml
Emacs
coq 3.2K
Contributor
# 9
theorem...
f-sharp
F#
Shell
FStar 2.0K
Contributor
# 10
theorem...
coq
OCaml
Emacs
Owner
# 11
theorem...
coq
lean
sqlite3
coq 3.2K
Contributor
# 12
theorem...
coq
OCaml
vscode
coq 3.2K
Contributor
# 13
theorem...
coq
elisp
emacs-l...
coq 3.2K
Contributor
# 14
theorem...
lean
Nim
Shell
Contributor
# 15
theorem...
coq
OCaml
opam
Contributor
# 16
theorem...
lean
nix
Electro...
lean 174
Contributor
# 17
theorem...
coq
agda
Git
Contributor
# 18
theorem...
coq
OCaml
opam
coq 3.2K
Contributor
# 19
theorem...
f-sharp
coq
Shell
FStar 2.0K
Contributor
# 20
theorem...
lean
declara...
Shell
Contributor

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.