RoundSquare.lean: Zero-Axiom Negative Resolution of the Clay Yang–Mills Problem

 (zenodo.org)

1 points | by DRLogvinovich 9 hours ago ago

No comments yet.