This project converts structured Lean code into an interactive browser game.
TypeScript
80
75 commits
updated Nov 15, 2023
README
Lean Game Maker
This library renders structured Lean files into an interactive game with a javascript Lean server running on the browser. See the Natural number game for an implementation of this game.
The games built with this library work best in Chrome and Firefox.
Installation
See the installation guide.
Usage
See the usage guide.
Acknowledgements
Special thanks to Bryan Gin-ge Chen and Patrick Massot. This project uses some codes from Bryan's fork of the lean-web-editor and Patrick's Lean formatter.
Contributors
Similar repos
Languages
TypeScript
64.4%
Python
29.6%
CSS
3.1%
JavaScript
2.1%
This project converts structured Lean code into an interactive browser game.
TypeScript
80
75 commits
updated Nov 15, 2023
README
Lean Game Maker
This library renders structured Lean files into an interactive game with a javascript Lean server running on the browser. See the Natural number game for an implementation of this game.
The games built with this library work best in Chrome and Firefox.
Installation
See the installation guide.
Usage
See the usage guide.
Acknowledgements
Special thanks to Bryan Gin-ge Chen and Patrick Massot. This project uses some codes from Bryan's fork of the lean-web-editor and Patrick's Lean formatter.
Similar repos
Contributors
Languages
TypeScript
64.4%
Python
29.6%
CSS
3.1%
JavaScript
2.1%