WikiLean — Article graph

WikiLean

Concepts Article graph Concept graph About & method

Edges

Shared decls 0 Wikipedia links 0

Min shared decls

k ≥ 1

Search

Mathlib namespace

Stats

About this view

Each node is a WikiLean article. An edge connects two articles that annotate the same Mathlib declarations (status: formalized or partial) — the more they share, the heavier the edge. Color encodes the dominant Mathlib namespace cited by each article.

Drag to pan · scroll to zoom · click a node for details · click an edge to see the decls two articles share · shift-click to add another article to the comparison.

Click an article to inspect.