Palomar: A registry of Lean verified mathematics | Hacker News

Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)

110 points by matt_d 8 hours ago | 18 comments

Loading...