-
Notifications
You must be signed in to change notification settings - Fork 0
Getting Started
Choose the path that fits you best:
Start with GIFT for Everyone — a complete guide using everyday analogies. Then check the FAQ for common questions.
Read For Physicists for a concise technical overview: E₈×E₈ architecture, K₇ compactification, and the 33 predictions. Then dive into the Paper:-Main-Framework.
Read For Geometers for the computational pipeline: TCS construction, PINN metrics, spectral extraction, and Lean 4 bridges. The Paper:-Explicit-G2-Metric paper is your entry point.
Read For Formalization Experts for the Lean 4 architecture: 126 files, 38 axioms, 127-conjunct certificate, zero sorry. See Lean Formalization for the full picture.
Go straight to Observable Reference (89 observables) and Statistical Evidence (7-component validation, 3M+ exhaustive search).
See Citation Guide for BibTeX, APA, and DOI information.
- GIFT for Everyone or For Physicists (depending on background)
- Paper:-Main-Framework — the complete theory
- Observable Reference — all predictions in one table
- Statistical Evidence — why the numbers matter
- Lean Formalization — machine-checked proofs
Start Here
By Audience
Papers
Reference
Blog Posts
- Roberto Carlos' Geometry
- Lice of the Universe
- The Algebra That Waited
- Gift from Bit
- On What Comes First
- Joyce's Theorem in Lean
- 13 Theorems, Zero Trust
Project