Home Bookmarks Inbox Collections Profile

Recent Search

Command Palette

Search for a command to run...

Command Palette

Search for a command to run...

Inbox Collections Profile

Palomar: A registry of Lean verified mathematics — Blankdot

terrytao.wordpress.com1 month ago

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: 6 # Comments: 0

Visit terrytao.wordpress.com

No discussion yet. Be the first to share your thoughts!