mpedramfar/Lean-game-maker

This project converts structured Lean code into an interactive browser game.

语言：TypeScript · GitHub 星标：80 · Fork：16

在 GitHub 上查看原仓库