Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"

(zenodo.org)

3 points | by DRLogvinovich a day ago

No comments yet.