GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
lean-dojo
/
LeanDojo
Public
Tool for data extraction and interacting with Lean programmatically.
MIT License
Updated Feb 11, 2026
Created Jun 13, 2023
View on GitHub
761
stars
117
forks
13
watchers
12
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
YA
yangky11
95 commits
PE
Peiyang-Song
35 commits
RE
RexWzh
23 commits
JO
josojo
18 commits
PI
pitmonticone
10 commits
AL
albertqjiang
7 commits
ET
ethanlabelle
4 commits
EL
eltociear
2 commits
TO
tonyxty
2 commits
SO
sorgfresser
2 commits
Recent Stargazers
JO
jon-chin
over 2 years ago
ST
stepney141
over 2 years ago
AL
alreadydone
over 2 years ago
XI
xiaoxiangmoe
over 2 years ago
MI
mikeion
over 2 years ago
BA
BabyBlue26
over 2 years ago
MR
mrragava
over 2 years ago
JI
Jiankai-Sun
over 2 years ago
ET
ethanlabelle
over 2 years ago
AA
Aadi813
over 2 years ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
2,574
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 12
Closed Issues 88
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 8, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.