Open Source · Lean 4 · Community
Digitalizing Physics in Lean 4
An open-source, community project to digitalize results from physics into Lean 4.
(formerly PhysLean & Lean-QuantumInfo)
See contributions to Physlib
Core work on Physlib by individuals can be published in signed, verifiable reports covering reviewing, formalisation, foundations, refactoring, maintenance and documentation.
Contribution reportsGet Involved
How you can contribute:
Promote the project
- —Share on social media (LinkedIn, X, Reddit)
- —Mention Physlib to colleagues, students, or supervisors
- —Reference the project in talks, papers, or course materials
- —Star the repository on GitHub to boost visibility