L lawrencecpaulson.github.io Formalising a new proof that the square root of two is irrational 103 points ColinWright 3 years ago 86 comments
