GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
linesthatinterlace
/
batteries
Public
The "batteries included" extended library for the Lean programming language and theorem prover
Apache License 2.0
Updated Jan 27, 2026
Created May 21, 2025
View on GitHub
0
stars
0
forks
0
watchers
0
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
KI
kim-em
394 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
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
3,315
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 0
Closed Issues 0
Open Issues
0
Activity Peak
Most recent day with highest activity
Feb 6, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.
No stars/forks history data available