Visual Lean: An experimental graphical user interface for writing Lean code

leangame.autumnofautumn.com