Here are
5 public repositories
matching this topic...
GIFT Core: Certified mathematical identities from E8×E8 gauge theory on G2 manifolds. Dual-verified (Lean 4 + Coq).
Updated
May 1, 2022
Makefile
exotopia is a simple art / music / climate and biodiversity resilience worker support multiverse
Updated
Jul 14, 2025
HTML
GIFT Framework | Deriving physics from topology E₈×E₈ × K₇ → Standard Model + Cosmology 18 predictions • 0.24% deviation • 0 parameters • Lean 4 + Coq verified
Updated
Jan 8, 2026
Jupyter Notebook
🔍 Explore a unification framework where Standard Model observables emerge as Casimir eigenvalues, enabling precise predictions for future experiments.
Improve this page
Add a description, image, and links to the
e8
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
e8
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.