Visual Lean: An experimental graphical user interface for writing Lean code
By Luc · 2026-10-21 · 1 points · 0 comments
https://leangame.autumnofautumn.com/
By Luc · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews