GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
leanprover-community
/
batteries
Public
The "batteries included" extended library for the Lean programming language and theorem prover
Apache License 2.0
Updated Feb 7, 2026
Created Aug 28, 2022
View on GitHub
358
stars
134
forks
11
watchers
79
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
KI
kim-em
398 commits
DI
digama0
292 commits
FG
fgdorais
133 commits
ER
eric-wieser
22 commits
CH
chabulhwi
20 commits
GE
gebner
20 commits
JL
JLimperg
16 commits
AL
alexkeizer
15 commits
NO
nomeata
14 commits
LI
linesthatinterlace
12 commits
Recent Stargazers
MH
mhuisi
over 3 years ago
HA
hargoniX
over 3 years ago
JO
jonsterling
over 3 years ago
AN
Anderssorby
over 3 years ago
TK
tkersey
over 3 years ago
TO
tomhoule
over 3 years ago
RZ
rzrn
over 3 years ago
JI
jiangsy
over 3 years ago
BO
bollu
over 3 years ago
IN
intsuc
over 3 years ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
24,093
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 19
Closed Issues 81
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 8, 2026 • 15 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.