ClueHacker News
Archiveverified release

Palomar: A registry of Lean verified mathematics

Posted by matt_d on 2026-08-19 · terrytao.wordpress.com

Discussion record

Score
186
Comments
39
Read
39

The discussion on Hacker News · The article

Full-thread reading

The retained reading has not passed independent publication checks. Its summary is withheld.

The summary gate never changes the score, comment count, story metadata, or retained-history figures above.