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