Palomar: A registry of Lean verified mathematics

Posted 7 hours ago by matt_d
101 points

https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/

10 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..