Tech
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: 116
# Comments: 19
Read the full discussion on HackerNews
This article was aggregated from HackerNews. Click to join the conversation.
View on HackerNews
Related Trends in Tech
What Fact-Checking My Own Claude Code Guide Taught Me About Verifiable AI
SealedBench: A Protocol for Freezing AI Benchmarks Before the Questions Are Known
A Practitioner's Field Guide to Marketing Engineering
Debugging Missing Results in a Multistage Search Pipeline
348 Blog Posts To Learn About Psychology
He Ran on Fighting Data Centers. Now, He’s Going to Congress