Is google-deepmind/formal-conjectures beginner-friendly?

35% of first-time pull requests to google-deepmind/formal-conjectures have been merged, with a median first review in no recent data.

What is the PR merge rate of google-deepmind/formal-conjectures?

43% of external (non-maintainer) pull requests to google-deepmind/formal-conjectures get merged.

Yes - 11 good first issues are currently open on google-deepmind/formal-conjectures.

A practical guide backed by google-deepmind/formal-conjectures's real pull-request history - not guesswork.

43%

PR merge rate

no recent data

First review

35%

First-timer success

A Tier

C-Rank

google-deepmind/formal-conjectures currently labels 11 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 43% rate. Small, well-described PRs that pass CI consistently outperform large ones.

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