A first-person walkthrough of Doctrine v11. The hall is a dependency graph rendered as architecture — load-bearing axioms are pillars, the declaration corpus is the floor, unfinished proofs (sorries) are dim spots, and the 13 Yuyay axes are the named windows. No mysticism: this is data cartography in stone.
LOCKED v11: 749 declarations · 14 axioms · 163 sorries · 13-axis yuyay_v3