leangame.autumnofautumn.comShow HN: Visual Lean: Learn to write Lean code with an accessible user interface1points bygoldey2•1hOpen articleView on Hacker News