Palomar – a registry of Lean verified mathematics | What's new [https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/] - 2026-08-18 22:28:44 - public:mzimmerm formal, lean, math, proof, theorem, verify - 6 | id:1553287 -
