WikiLean — Concept graph

Edge sources

Mathlib only 12k Wikidata only Both (overlap)

Search

Stats

About this view

Each node is a Wikidata concept (QID) the catalog has linked to a Mathlib declaration. Mathlib edges = one decl's type/value directly references another (via Expr.getUsedConstants). Wikidata edges = a direct-claim statement (P279, P361, P31, …) between two of these QIDs. More →

Drag to pan · scroll to zoom · click a node for details.

Click a node to inspect.