Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by leanexplorer
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