Resolution Atlas · full graph

Walk the verified substrate

Every point is a machine-checked statement in a live Lean 4 substrate. Provinces here group the proof families by discipline — drag to pan, scroll to zoom. Verified structure, open frontier and ruled-out routes, on one map.