PyRank

G2 Holonomy Python Packages

Python packages with the GitHub topic g2-holonomy. Sorted by relevance, with stars and monthly downloads.
gift-framework
giftpy

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

6K 2 0