Palomar: A registry of Lean verified mathematics

112 points

by matt_d

8 hours ago

18 comments