Find my rank

theorem-prover top developers

Name Rank Expertise Top repository Top badge
# 1
theorem...
C
C++
Shell
Contributor
# 2
theorem...
Common ...
TeX
Shell
acl2 199
Contributor
# 3
theorem...
Common ...
OCaml
Shell
acl2 199
Contributor
# 4
theorem...
coq
OCaml
Shell
Owner
# 5
theorem...
TeX
Scala
Shell
sofp 977
Owner
# 6
theorem...
Objecti...
Common ...
Shell
acl2 199
Contributor
# 7
theorem...
Objecti...
Common ...
Shell
acl2 199
Contributor
# 8
theorem...
opencl
Haskell
Jupyter...
Owner
# 9
theorem...
Objecti...
Common ...
Shell
acl2 199
Contributor
# 10
theorem...
c-plus-...
D
Shell
Contributor
# 11
theorem...
Haskell
Rust
Bash
Contributor
# 12
theorem...
Objecti...
Common ...
Shell
acl2 199
Contributor
# 13
theorem...
Objecti...
TeX
Shell
Contributor
# 14
theorem...
C
OCaml
Shell
Contributor
# 15
theorem...
Objecti...
Common ...
Shell
acl2 199
Contributor
# 16
theorem...
idris
Haskell
Django
Owner
# 17
theorem...
Objecti...
TeX
Firefox
Owner
# 18
theorem...
Objecti...
Common ...
Shell
acl2 199
Contributor
# 19
theorem...
Objecti...
Common ...
Shell
acl2 199
Contributor
# 20
theorem...
C
TeX
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.