Mohammad Pedramfar
Results
2
repositories owned by
Mohammad Pedramfar
Lean-game-maker
72
Stars
16
Forks
Watchers
This project converts structured Lean code into an interactive browser game.
