gravatar for leanprover

leanprover leanprover on Github

global

Languages

15 total

LanguageReposStarsGlobal
all507,8286,226
Lean194,3831
C++22,2571,123
TypeScript42817,867
Rust12603,277
JavaScript420024,116
TeX3151746
Emacs Lisp2691,067
unknown76931,896
Haskell1571,414
Python14885,282
Vim Script1192,747
HTML11543,169
Vue11411,203
Ruby1370,152
Shell22154,436

Repos

50 total

RepoLanguageStarsRank
leanprover/lean4 on Githublean4Lean3,7331
leanprover/lean3 on Githublean3C++2,1361,094
leanprover/elan on GithubelanRust2603,745
leanprover/std4 on Githubstd4Lean19512
leanprover/theorem_proving_in_lean4 on Githubtheorem_proving_in_lean4JavaScript13638,766
leanprover/lean2 on Githublean2C++12116,218
leanprover/vscode-lean4 on Githubvscode-lean4TypeScript12017,015
leanprover/vscode-lean on Githubvscode-leanTypeScript11817,265
leanprover/lake on GithublakeLean9728
leanprover/logic_and_proof on Githublogic_and_proofTeX941,103

Badges

Get your badge to use on GitHub or websites using the code below

Global

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-04-24T03:47:34.383494337Z Re-sync