LICENSE
MANIFEST.in
README.md
pyproject.toml
COQ/Algebra/E8.v
COQ/Algebra/G2.v
COQ/Certificate/AllProven.v
COQ/Geometry/Jordan.v
COQ/Geometry/K7.v
COQ/Relations/BaseDecomposition.v
COQ/Relations/Cosmology.v
COQ/Relations/ExceptionalChain.v
COQ/Relations/ExceptionalGroups.v
COQ/Relations/GaugeSector.v
COQ/Relations/GoldenRatio.v
COQ/Relations/IrrationalSector.v
COQ/Relations/LeptonSector.v
COQ/Relations/MassFactorization.v
COQ/Relations/NeutrinoSector.v
COQ/Relations/Physical.v
COQ/Relations/Weinberg.v
COQ/Relations/YukawaDuality.v
COQ/Topology/Betti.v
Lean/GIFT.lean
Lean/lakefile.lean
Lean/GIFT/Algebra.lean
Lean/GIFT/Certificate.lean
Lean/GIFT/Geometry.lean
Lean/GIFT/Relations.lean
Lean/GIFT/Topology.lean
Lean/GIFT/Relations/BaseDecomposition.lean
Lean/GIFT/Relations/Cosmology.lean
Lean/GIFT/Relations/ExceptionalChain.lean
Lean/GIFT/Relations/ExceptionalGroups.lean
Lean/GIFT/Relations/GaugeSector.lean
Lean/GIFT/Relations/GoldenRatio.lean
Lean/GIFT/Relations/IrrationalSector.lean
Lean/GIFT/Relations/LeptonSector.lean
Lean/GIFT/Relations/MassFactorization.lean
Lean/GIFT/Relations/NeutrinoSector.lean
Lean/GIFT/Relations/YukawaDuality.lean
gift_core/__init__.py
gift_core/_version.py
gift_core/constants.py
gift_core/dashboard.py
gift_core/experimental.py
gift_core/monte_carlo.py
gift_core/relations.py
gift_core/scales.py
gift_core/topology.py
gift_core/torch_optim.py
gift_core/g2/__init__.py
gift_core/g2/constraints.py
gift_core/g2/g2_form.py
gift_core/g2/holonomy.py
gift_core/g2/torsion.py
gift_core/geometry/__init__.py
gift_core/geometry/acyl_cy3.py
gift_core/geometry/k3_surface.py
gift_core/geometry/k7_metric.py
gift_core/geometry/tcs_construction.py
gift_core/harmonic/__init__.py
gift_core/harmonic/betti_validation.py
gift_core/harmonic/harmonic_forms.py
gift_core/harmonic/hodge_laplacian.py
gift_core/nn/__init__.py
gift_core/nn/fourier_features.py
gift_core/nn/g2_pinn.py
gift_core/nn/loss_functions.py
gift_core/nn/training.py
gift_core/physics/__init__.py
gift_core/physics/coupling_constants.py
gift_core/physics/mass_spectrum.py
gift_core/physics/yukawa_tensor.py
gift_core/pipeline/__init__.py
gift_core/pipeline/config.py
gift_core/pipeline/full_pipeline.py
gift_core/verification/__init__.py
gift_core/verification/certificate.py
gift_core/verification/lean_export.py
gift_core/verification/numerical_bounds.py
giftpy.egg-info/PKG-INFO
giftpy.egg-info/SOURCES.txt
giftpy.egg-info/dependency_links.txt
giftpy.egg-info/requires.txt
giftpy.egg-info/top_level.txt
tests/test_constants.py
tests/test_k7_metric.py
tests/test_monte_carlo.py
tests/test_relations.py
tests/test_topological_extension.py
tests/test_torch_optim.py
tests/test_yukawa_duality.py