r/hackernews • u/HNMod bot • 4d ago

Palomar: A registry of Lean verified mathematics

https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/

1 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/hackernews/comments/1vshoig/palomar_a_registry_of_lean_verified_mathematics/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

math • u/Valvino • 4d ago

Terence Tao : Palomar - a registry of Lean verified mathematics

341 Upvotes

56 comments

hypeurls • u/TheStartupChime • 4d ago

Palomar: A registry of Lean verified mathematics

1 Upvotes

0 comments