RoundSquare.lean: Zero-Axiom Negative Resolution of the Clay Yang–Mills Problem Posted by DRLogvinovich on Wednesday November 04, 2026 @03:55PM from the zenodo.org dept. https://zenodo.org/records/23918639/files/RoundSquare.lean ( no comments | on HN )
There are no comments yet.