#

g2-holonomy

Here is 1 public repository matching this topic...

gift-framework / core

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

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

Updated Jan 30, 2026
Lean

Improve this page

Add a description, image, and links to the g2-holonomy topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the g2-holonomy topic, visit your repo's landing page and select "manage topics."