GitHub repository: mmasdeu/Lean-game-maker
Primary language: TypeScript
Description: This project converts structured Lean code into an interactive browser game.