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.
27% matchB Tier 38 GFIs
leanprover-community/physlib
A project to digitalise results from physics into Lean.
- 38 open good first issues
22% matchA Tier 4 GFIs
TauCetiProject/TauCeti
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
- 4 open good first issues