Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Formalising a new proof that the square root of two is irrational
lawrencecpaulson.github.io
103 points
ColinWright
3 years ago
86 comments
Loading...
Formalising a new proof that the square root of two is irrational | Heykuki News