Hacker Neus
Palomar: A registry of Lean verified mathematics
(terrytao.wordpress.com)
113 points
by matt_d
9 hours ago |
19 comments
