Palomar: A registry of Lean verified mathematics
By matt_d · 2026-08-19 · 7 points · 0 comments
https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/
By matt_d · 7 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews