Automated deducted proof of the square root of a prime number is irrationalnevidal.org2 points·hexhex··0 commentsOpen articleSaveView on HN