Book I — Mathematics of Generative Transitions
Ch 0 · Definitions and Notation — Principia Orthogona Book Ibook1/ch00-definitions.html
numbered chapterOPEN×33 claims9 links
Formal Verification Registry · Lean 4 / Coq · dm³ Geometry · Pablo Nogueira Grossibook1/verification-registry.html
1 claim · untagged2 links
Principia Orthogona · Volume I · The Mathematics of Generative Transitionsbook1/vol1-mathematics.html
PROVEDSHOWN10 claims18 links
Principia Orthogona · Volume II · Contact Realization of Generative Transitionsbook1/vol2-dashboard.html
PROVED×516 claims4 links
TOGT · Contact-Geometric Theory of Generative Transitions · Version 4book1/vol1-proofs.html
1 claim · untagged3 links
No files match that search.