alexjbest/Lean-game-maker
This project converts structured Lean code into an interactive browser game.
TypeScriptApache-2.0
Stargazers
No one’s star this repository yet.
This project converts structured Lean code into an interactive browser game.
TypeScriptApache-2.0
No one’s star this repository yet.