Palomar: A registry of Lean verified mathematics
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: 29 # Comments: 3
This is a summary aggregated from Hacker News. Read the complete article on the original site:
Read full article at Hacker News
