G-Research-Innovation
Popular repositories Loading
- lean4game
lean4game PublicForked from leanprover-community/lean4game
Server to host lean games.
TypeScript
-
- Robo
Robo PublicForked from hhu-adam/Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
Lean
-
- lean4game-logic
lean4game-logic PublicForked from Trequetrum/lean4game-logic
Make/Encode some basic logic puzzles
Lean
- KnightsAndKnaves-Lean4Game
KnightsAndKnaves-Lean4Game PublicForked from JadAbouHawili/KnightsAndKnaves-Lean4Game
Knights and Knaves Educational Game in Lean 4
Lean
Repositories
- IMOSLLean4 Public Forked from mortarsanjaya/IMOSLLean4
Formalization of IMO shortlist problems in Lean 4
G-Research-Innovation/IMOSLLean4’s past year of commit activity - LeanDojo Public Forked from lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
G-Research-Innovation/LeanDojo’s past year of commit activity - KnightsAndKnaves-Lean4Game Public Forked from JadAbouHawili/KnightsAndKnaves-Lean4Game
Knights and Knaves Educational Game in Lean 4
G-Research-Innovation/KnightsAndKnaves-Lean4Game’s past year of commit activity - Robo Public Forked from hhu-adam/Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
G-Research-Innovation/Robo’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…