Palomar: A registry of Lean verified mathematics

by matt_d | View on Hacker News