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

 (zenodo.org)

3 points | by DRLogvinovich 20 hours ago ago

No comments yet.