e8
Certified mathematical identities of the K₇ framework: E₈×E₈ gauge theory on a G₂-holonomy manifold, 460+ relations, 0 sorry, Lean 4. Formerly gift-framework/core (GIFT Core). Distinct from Arithmon/Lean, the Sieve methodology layer.
Sparse Lie algebra engine for G₂, F₄, E₆, E₇, E₈ — 913× compression, lattice gauge theory, equivariant GNN layers. pip install dhl-mm
