GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
leanprover-community
/
lean4game
Public
Server to host lean games.
GNU General Public License v3.0
Updated Feb 8, 2026
Created Oct 17, 2022
View on GitHub
398
stars
71
forks
5
watchers
115
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
JO
joneugster
689 commits
AB
abentkamp
348 commits
MA
matlorr
98 commits
TE
TentativeConvert
19 commits
WZ
Wzixiao
16 commits
PI
pitmonticone
14 commits
CH
chabulhwi
6 commits
GE
Geoc2022
4 commits
HY
hydrogenbear
3 commits
KB
kbuzzard
3 commits
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
34,957
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 33
Closed Issues 67
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 8, 2026 • 4 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.