scroll to zoom · drag to pan · click an area to dive in ·
background to go up · click any synapse for its evidence ·
dots = cells (atoms of organs) ·
blue = has a Lean formalization ·
grey = no formal home yet ·
gold ring = a hand-written @[wikidata] tag ·
lines = synapses (thicker = more bonds):
formal deps ·
loose formalization claims ·
wikidata relations ·
shared DB page ·
page links ·
literature ·
shared statement ·
tinted cells = logical communities
The Brain as cells: every atom fuses a Wikidata concept, the Lean declaration that formalizes it, its entries in nLab / LMFDB / Stacks / MathWorld / …, its WikiLean article and its arXiv statements into ONE object. Atoms nest inside the Mathlib folders that hold their code, and the lines between them are synapses — every weak bond between two atoms, collapsed into one edge that keeps every trace. Click anything.