Contributor Matchmaker
Best Lean Repos to Contribute To
Matched to your experience level using real merge rates, maintainer response times, and first-PR success data.
42% matchA Tier 11 GFIs
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
- 11 open good first issues
36% matchA Tier 1 GFIs
leanprover-community/iris-lean
Lean 4 port of Iris, a higher-order concurrent separation logic framework
- 67% of first-time PRs get merged
- 1 open good first issues
- Merges 74% of outside pull requests
26% matchA Tier 38 GFIs
leanprover-community/physlib
A project to digitalise results from physics into Lean.
- 38 open good first issues
Unlock 2+ More Lean Opportunities
Sign in with GitHub to view personalized matches, your Contributor Fit Radar, and weekly digest alerts.