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 -
Verification - Mastodon [https://joinmastodon.org/verification] - 2023-04-21 16:37:25 - public:mzimmerm fediverse, good, identity, mastodon, migrate, verify - 6 | id:1414249 -
