Palomar: A registry of Lean verified mathematicsterrytao.wordpress.com
105 points by matt_d 8 hours ago | 16 comments