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)
Get 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