Y Hacker News new | ask | show | jobs

user: leanexplorer created: 2026-02-10 karma: 13 submissions: Show HN: Wiki-like edit for Lean 4 project Physlib 2 points | 0 comments 0 points | 0 comments Non-trivial error in physics paper found via Lean 24 points | 2 comments A future without physics papers? 1 points | 0 comments PhysLean: Formalising Physics into Lean 4 2 points | 0 comments