leanprover-community/physlib

**leanprover‑community/physlib** — открытый репозиторий, в котором формализованы результаты физики в системе доказательств Lean, позволяя проверять теоремы и пр