T terrytao.wordpress.com Palomar: A registry of Lean verified mathematics 186 points matt_d 2 months ago 39 comments
