N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
Non-trivial error in physics paper found via Lean
(
arxiv.org
)
24 points by
leanexplorer
4 days ago
|
2 comments
add comment
Rendered at 20:11:51 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
leanexplorer 4 days ago
[-]
Code part of the project PhysLib (formerly PhysLean) - physics version of the project Mathlib.
https://github.com/leanprover-community/physlib
throwaway81523 4 days ago
[-]
Well it's a physics paper. The math being wrong is almost a running joke. It's almost 100 years since quantum field theory was invented and that doesn't formalize so well either.
https://github.com/leanprover-community/physlib