Tech

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

Hacker News (Newest) By goldey2 Oct 16, 2026 · 8:03 AM 9 views 0 comments

Article URL: https://leangame.autumnofautumn.com/

Comments URL: https://news.ycombinator.com/item?id=50117885

Points: 1

# Comments: 0

Hacker News (Newest) Original story · leangame.autumnofautumn.com

How does this story make you feel?

Discussion (0)

No comments yet. Start the conversation!