N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"
(
zenodo.org
)
3 points by
DRLogvinovich
2 days ago
|
0 comments
add comment
Rendered at 13:51:05 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.