Palomar: A registry of Lean verified mathematics

 (terrytao.wordpress.com)

177 points | by matt_d 1 day ago

39 comments