Palomar: A registry of Lean verified mathematics terrytao.wordpress.com Aug 19, 2026 Comments Read the full story at terrytao.wordpress.com →