WikiLean · Mathlib coverage of WikiProject Mathematics concepts
🌓
1376
concepts
815
formalized (59%)
561
not formalized
902
Top/High importance
609
Top/High formalized (68%)
all status
formalized
not formalized
all importance
Top
High
Mid
Low
Concept
Imp.
Status
Mathlib declaration
Conf.
Wikidata