PhysLean: Formalising Physics into Lean 4

(github.com) by leanexplorer | Feb 10, 2026 | 0 comments on HN