Thanks to visit codestin.com
Credit goes to Github.com

#

e8

Here is 1 public repository matching this topic...

gift-framework / core

GIFT Core: Certified mathematical identities from E8×E8 gauge theory on G2 manifolds. Dual-verified (Lean 4 + Coq).

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

Updated Dec 25, 2025
Lean

Improve this page

Add a description, image, and links to the e8 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 e8 topic, visit your repo's landing page and select "manage topics."