RoundSquare.lean: Zero-Axiom Negative Resolution of the Clay Yang–Mills Problem (zenodo.org) 1 points by DRLogvinovich 3d ago ↗ HN
0 comments
[ 0.25 ms ] story [ 11.5 ms ] threadNo comments yet.