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
1 days ago
|
0 comments
add comment
Rendered at 03:14:55 GMT+0000 (Coordinated Universal Time) with Vercel.