GIFT mathematical core - Formally verified constants (Lean 4)
Up to 913x faster Lie algebra products for all five exceptional algebras with differentiable PyTorch equivariant layers
