click a bubble to zoom in · background to zoom out · click any edge
for its evidence · formal deps ·
formalizes ·
wikidata relations ·
same external page ·
dots = concepts (blue) / decls (green) · bubble outlines = logical communities ·
selecting a node orbits its off-canvas neighbors (click to travel)
The Brain as bubbles: areas nest by containment (Mathlib → Algebra → Group → …), concepts float beside the code that formalizes them, and the links between bubbles are real, provenance-carrying dependency edges. Click anything — every edge opens its evidence drawer here.