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

2026-10-16来源 Hacker News ShowEnglish

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

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

Points: 1

# Comments: 0

原文：https://www.a8q9.cn/en/article/show-hn-visual-lean-learn-to-write-lean-code-with-an-accessible-user-interface-0c9687.html

相关文章