About ranking
Ranked by direct paper uses, then theorem uses. Filters keep the original ranks. Theorems / Papers counts unique related theorems and papers, including indirect uses.
- Green — Use mathlib: Ready to use; no new proofs.
- Yellow — Small adaptation: Needs a representation change or compatibility proof.
- Red — New infrastructure: Needs new constructions or core results.
These are work estimates for each API. Click a status to filter; click again to clear.