Hacker News Show HN· goldey2·· 3 天前AI 评分18
Show HN：Visual Lean 用可视化界面教你写 Lean 代码
Show HN: Visual Lean: Learn to write Lean code with an accessible user interface
AI 导读
Visual Lean 在 Hacker News 的 Show HN 亮相，提供可访问的用户界面，帮助学习者编写 Lean 代码。
来源：Hacker News Show HN · leangame.autumnofautumn.com