A project to digitalise results from physics into Lean.
Lean Updated 2 months ago 1 commits 720 stars
quark-coder|Mirror: leanprover-community/physlib (⭐720)
2 months agoAbout
A project to digitalise results from physics into Lean.
Readme
720 stars
178 forks