The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors

Open in new window