Is leanprover-community/physlib beginner-friendly?

leanprover-community/physlib has a C-Rank of B on GetMerged based on its external PR merge and response history.

What is the PR merge rate of leanprover-community/physlib?

13% of external (non-maintainer) pull requests to leanprover-community/physlib get merged.

Yes - 38 good first issues are currently open on leanprover-community/physlib.

A practical guide backed by leanprover-community/physlib's real pull-request history - not guesswork.

13%

PR merge rate

no recent data

First review

First-timer success

B Tier

C-Rank

leanprover-community/physlib currently labels 38 open issues as "good first issue". Start there - maintainers expect newcomers on those.

Median first review lands within no recent data. Open your PR when maintainers are active rather than right before a weekend.

Outside PRs to this repo are merged at a 13% rate. Small, well-described PRs that pass CI consistently outperform large ones.

10 active maintainers review contributions here. Respond to comments promptly - responsiveness is the strongest predictor of getting merged.