Palomar: A registry of Lean verified mathematics

[matt_d]

Article URL: Palomar – a registry of Lean verified mathematics

Comments URL: Palomar: A registry of Lean verified mathematics | Hacker News

Points: 149

# Comments: 37

Continue reading...