#leanverified — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #leanverified, aggregated by home.social.
-
🎉 "Palomar" by Terence Tao: where mathematics finally meets its match in an AI-generated jargon jungle. 🤖✨ Dive into this head-spinning registry of Lean-verified #proofs that promise to make #math so exciting you'd rather reorganize your sock drawer. 🧦📚
https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/ #Palomar #TerenceTao #AI #Innovation #LeanVerified #MathExcitement #HackerNews #ngated