g2-holonomy
GIFT Core: Certified mathematical identities from E8×E8 gauge theory on G2 manifolds. Verified in Lean 4