An open-source, community-run project for formalizing physics results in Lean. A library of verified physics theorems that any researcher can build upon — the physics equivalent of Mathlib, which provides the same infrastructure for mathematics
