Profile README for gift-framework
topology particle-physics theoretical-physics formal-verification gift standard-model e8 lean4 g2-holonomy geometric-information-field-theory
-
Updated
Jul 15, 2026