Hacker News new | ask | show | jobs
PhysLean: Formalising Physics into Lean 4 (github.com)
2 points by leanexplorer 172 days ago