A mirror of WikiProject Mathematics articles, annotated inline with links into Mathlib4 and color-coded by whether each definition, theorem, and proof has been formalized in Lean. Built by Jack McCarthy.
→ Wikidata concept links — every formalized concept keyed to its Wikidata item, as an open RDF dataset (the basis for a proposed “formalized as (Lean/Mathlib)” Wikidata property).
→ Article graph — WikiLean articles clustered by shared Mathlib formalizations: edges connect articles that annotate the same declarations, colored by their dominant Mathlib area.
→ Concept graph — Mathlib's declaration-level dependency edges overlaid on Wikidata's typed item-to-item statements, on a shared Wikidata node set. Drag, zoom, click; consensus edges (in both) highlighted.