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:
- ReviewReview open pull requests
- Edit the API mapsImprove wiki-like articles
- Start an API mapMap out an area that has none yet
- Contribute Lean codePick up an open issue on GitHub
- Tackle a TODOFormalize something on the TODO list
- Join the discussionTalk to the community on Zulip