Formalising a new proof that the square root of two is irrationallawrencecpaulson.github.io103 pointsColinWright3 years ago