AlphaUncommon
leanprover-community/lean4game
Server to host Lean games
- Owner
- leanprover-community (organization)
- Stars
- Stars: 576
- Forks
- Forks: 114
- Language
- TypeScript
- License
- GPL-3.0
- Created
- 2022
- Topics
- lean4react
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,414LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 818LeanBeta
- leanprover-community/mathematics_in_leanStars: 625HTMLAlpha
- leanprover-community/leanStars: 436C++Alpha
- leanprover-community/batteriesStars: 428LeanAlpha
Nearby in TypeScript
All TypeScript repos- ni5arga/sightlineStars: 576TypeScriptAlpha
- lehhair/OpenCodeUIStars: 576TypeScriptAlpha
- zonelessdev/zonelessStars: 576TypeScriptAlpha
- rommguy/react-custom-scrollStars: 576TypeScriptAlpha
- francisrstokes/arcsecondStars: 576TypeScriptAlpha
- rameshvarun/netplayjsStars: 576TypeScriptAlpha