Lean-game-maker

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

Stars

63

Forks

14

Language

TypeScript

Last Updated

Apr 19, 2023

Similar Repos