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