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

 (leangame.autumnofautumn.com)

1 points | by goldey2 4 hours ago ago

No comments yet.