Palomar: A registry of Lean verified mathematics
(terrytao.wordpress.com)
110 points
by matt_d
8 hours ago |
18 comments
()
()
()
()
()
()
()
()
()
()
()
