Community
Get Involved
Physlib is a community project and we welcome contributions from everyone. There are many ways to contribute — from helping with issues, to formalizing results, to creating informal results. Feel free to contribute in any way you see fit and think you will have the most fun from!
Promotion
The easiest way to contribute is to promote the project, either by word of mouth or by sharing it on social media.
The TODO List
The TODO list contains basic Lean or admin related tasks. Most of these are relatively small tasks like renaming lemmas.
See TODOsDiscuss
There are a number of discussions on the Physlib Zulip, some of which contain questions you may be able to help with.
See Physlib ZulipHelp with Issues
You can contribute by helping with open issues. These range from suggested formalizations, to infrastructure changes needed, to Lean meta programming tasks.
See IssuesGolfing & Documentation
Golfing is the process of making the code more concise and readable, whilst documentation is the process of adding comments and explanations to the code.
Creating Informal Results
If you have a background in physics and don't have the time or skills to formalize results into Lean, you can contribute by adding informal results — definitions and theorems — written in English, placed within the project.
Help with a Project
There is currently one GitHub project related to Physlib. Having a go at any of the items listed within that project would be a great way to get involved.
See ProjectsStart a Mini-Project
There is a list of mini-projects on the Lean Zulip. If you want to get your teeth really stuck into formalizing physics, these are a great place for ideas.
See Mini ProjectsQuestions?
Need Help?
Join our community discussions or reach out for help on the Physlib channel within the Lean Zulip.
Join Discussion