Automated deducted proof of the square root of a prime number is irrational (nevidal.org) 2 points by hexhex 9y ago ↗ HN
0 comments
[ 3.8 ms ] story [ 13.5 ms ] threadNo comments yet.