Pinned Loading

1. GIFT GIFT Public

   GIFT Framework | Deriving physics from topology E₈×E₈ × K₇ → Standard Model + Cosmology 33 predictions • 0.21% deviation • 0 parameters • Lean 4 verified

   Jupyter Notebook 2

2. core core Public

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

   Lean 2

3. PhysLean PhysLean Public

   Forked from lean-phys-community/PhysLean

   A project to digitalise results from physics into Lean.

   Lean