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

1 points | by goldey2 4 hours ago