Are We Stuck with Lean?
By jjgreen · 2026-07-30 · 51 points · 18 comments
https://mathoverflow.net/questions/513742/are-we-stuck-with-lean
By jjgreen · 51 points · 18 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews