HN
New
Show
Ask
Jobs
Built with Astro + Solid
Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"
(zenodo.org)
2 points | by
DRLogvinovich
2 hours ago ago
No comments yet.
No comments yet.