Anomaly- and tadpole-compatible fermion completion of 6D SU(4) gauge-Higgs unification (exact, Lean-checked) (Part I).
reproducible-research particle-physics formal-verification hep-ph standard-model integer-programming hep-th lean4 su4 tadpole extra-dimensions exact-computation orbifold anomaly-cancellation gauge-higgs-unification
-
Updated
Aug 1, 2026 - TeX