TLDR · QUICK LINKSPALOMAR2026-08-20terrytao.wordpress.com3 min readSummary from the TLDR newsletterPalomar, a registry of Lean-verified mathematics, is now open for submissions.Read the original article ↗View the archived TLDR issue