leanprover-community / lean4game

git clone https://github.com/leanprover-community/lean4game.git

Server to host Lean games

stars, 24h · #38,734

+~0

stars, 7 days · #38,808

+~0

stars, 30 days · #38,946

570

★ total

111

forks · 145 open issues

2026-10-20 · 570 ★ 2026-10-22 · 570 ★

LanguageTypeScript

LicenseGPL-3.0

Created2022-10-17 (4y ago)

Last push2d ago

OwnerOrganization

lean4 react