This project converts structured Lean code into an interactive browser game.
Primary LanguageTypeScriptApache License 2.0Apache-2.0