HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
leanexplorer
Non-trivial error in physics paper found via Lean
24 points
leanexplorer
2026-03-22T11:03:14Z
arxiv.org
A future without physics papers?
1 points
leanexplorer
2026-02-11T08:23:04Z
josephtoobysmith.com
PhysLean: Formalising Physics into Lean 4
2 points
leanexplorer
2026-02-10T08:11:47Z
github.com