Palomar: A registry of Lean verified mathematics

120 points

by matt_d

9 hours ago

19 comments