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

1 points | by goldey2 an hour ago

No comments yet