Show HN: Visual Lean: Learn to write Lean code with an accessible user interface

(leangame.autumnofautumn.com) by goldey2 | Oct 16, 2026 | 0 comments on HN