How to Contribute to leanprover-community/physlib
A practical guide backed by leanprover-community/physlib's real pull-request history - not guesswork.
6%
PR merge rate
no recent data
First review
-
First-timer success
A Tier
C-Rank
Your game plan
1
Pick a starter issue
leanprover-community/physlib currently labels 38 open issues as "good first issue". Start there - maintainers expect newcomers on those.
2
Time your pull request
Median first review lands within no recent data. Open your PR when maintainers are active rather than right before a weekend.
3
Keep it small and focused
Outside PRs to this repo are merged at a 6% rate. Small, well-described PRs that pass CI consistently outperform large ones.
4
Engage with review feedback
22 active maintainers review contributions here. Respond to comments promptly - responsiveness is the strongest predictor of getting merged.
Open good first issues
Add API map for lattice QFT
#1593Documentation typo in tensor product example refers to undefined `T1` instead
#1543Incorrect symbol `๐ข` used in documentation of
#1542Documentation claims anomaly cancellation is preserved under mapping without
#1541Incorrect documentation for realLorentzTensor in Basic.lean
#1538Looking for more? See best Lean repos for beginners.