GitHub repository: mpedramfar/Lean-game-maker
Primary language: TypeScript
Created: 2019-09-02T21:08:02Z
Description: This project converts structured Lean code into an interactive browser game.