News for hackers. Stuff that matters.

A comment on Formalising a new proof that the square root of two is irrational. Parent comment

Re:Formalising a new proof that the square root of two is ir... by rhn_mk1 on Thursday January 19, 2023 @09:03AM (#34440353)
Thanks, you're right. I missed that there was supposed to be a √2*√2 in the expansion of the last line.
[ Parent | on HN ]

There are no comments on this comment yet.