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