https://github.com/gift-framework/core

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

coq coq-formalization e8 formal-verification g2-holonomy gauge-theory lean lean4 mathematics proof-assistant python

Last synced: 17 May 2026