Learn LEAN 4 Theorem Proving in an easy game
By samagra14 · 2026-10-13 · 3 points · 0 comments
https://adam.math.hhu.de/#/g/leanprover-community/NNG4
By samagra14 · 3 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews