Palomar: A registry of Lean verified mathematics
Hacker News: Newest ·
Follow into
Save into
Article URL: https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/
Comments URL: https://news.ycombinator.com/item?id=49355968
Points: 100
# Comments: 17