{"type": "article", "title": "Palomar – a registry of Lean verified mathematics", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/palomar-a-registry-of-lean-verified-mathematics", "original_source": "https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/", "published": "2026-08-19T02:40:46+00:00", "accessed": "2026-08-19", "id": "palomar-a-registry-of-lean-verified-mathematics"}