Visual Lean is a visual interface for Lean that is actively in development. I’m currently working on porting the Natural Numbers game to the new interface.
Programmed with Codex 5.4 and Claude Code 4.6.
Access is currently restricted. Those with access can try it here.
