GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
ebarschkis
/
ErdosProblem
Public
My Lean Formalizations on Erdos Problems
Updated Feb 4, 2026
Created Dec 31, 2025
View on GitHub
5
stars
0
forks
1
watchers
0
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
EB
ebarschkis
17 commits
Recent Stargazers
BO
boubacar906
19 days ago
RA
rasenganai
19 days ago
SH
shorinversion
19 days ago
SN
SnO2WMaN
19 days ago
AL
alreadydone
18 days ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
503
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 4, 2026 • 3 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.