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/GIFT/Algebra.lean
Lean/GIFT/Algebraic.lean
Lean/GIFT/Certificate.lean
Lean/GIFT/Core.lean
Lean/GIFT/DifferentialForms.lean
Lean/GIFT/Foundations.lean
Lean/GIFT/Geometry.lean
Lean/GIFT/Hierarchy.lean
Lean/GIFT/ImplicitFunction.lean
Lean/GIFT/IntervalArithmetic.lean
Lean/GIFT/Joyce.lean
Lean/GIFT/McKay.lean
Lean/GIFT/Moonshine.lean
Lean/GIFT/Primes.lean
Lean/GIFT/Relations.lean
Lean/GIFT/Sequences.lean
Lean/GIFT/Sobolev.lean
Lean/GIFT/Topology.lean
Lean/GIFT/Algebraic/BettiNumbers.lean
Lean/GIFT/Algebraic/CayleyDickson.lean
Lean/GIFT/Algebraic/G2.lean
Lean/GIFT/Algebraic/GIFTConstants.lean
Lean/GIFT/Algebraic/GeometricSaturation.lean
Lean/GIFT/Algebraic/Octonions.lean
Lean/GIFT/Algebraic/Quaternions.lean
Lean/GIFT/Algebraic/SO16Decomposition.lean
Lean/GIFT/Foundations/Analysis.lean
Lean/GIFT/Foundations/AnalyticalMetric.lean
Lean/GIFT/Foundations/E8Lattice.lean
Lean/GIFT/Foundations/E8Mathlib.lean
Lean/GIFT/Foundations/G2CrossProduct.lean
Lean/GIFT/Foundations/G2Holonomy.lean
Lean/GIFT/Foundations/GoldenRatio.lean
Lean/GIFT/Foundations/GoldenRatioPowers.lean
Lean/GIFT/Foundations/GraphTheory.lean
Lean/GIFT/Foundations/RationalConstants.lean
Lean/GIFT/Foundations/RootSystems.lean
Lean/GIFT/Foundations/TCSConstruction.lean
Lean/GIFT/Foundations/Analysis/E8Lattice.lean
Lean/GIFT/Foundations/Analysis/ExteriorAlgebra.lean
Lean/GIFT/Foundations/Analysis/G2TensorForm.lean
Lean/GIFT/Foundations/Analysis/HarmonicForms.lean
Lean/GIFT/Foundations/Analysis/HodgeTheory.lean
Lean/GIFT/Foundations/Analysis/InnerProductSpace.lean
Lean/GIFT/Foundations/Analysis/JoyceAnalytic.lean
Lean/GIFT/Foundations/Analysis/WedgeProduct.lean
Lean/GIFT/Hierarchy/AbsoluteMasses.lean
Lean/GIFT/Hierarchy/DimensionalGap.lean
Lean/GIFT/Hierarchy/E6Cascade.lean
Lean/GIFT/Hierarchy/VacuumStructure.lean
Lean/GIFT/McKay/Correspondence.lean
Lean/GIFT/McKay/GoldenEmergence.lean
Lean/GIFT/Moonshine/JInvariant.lean
Lean/GIFT/Moonshine/MonsterDimension.lean
Lean/GIFT/Primes/DerivedPrimes.lean
Lean/GIFT/Primes/DirectPrimes.lean
Lean/GIFT/Primes/Generators.lean
Lean/GIFT/Primes/Heegner.lean
Lean/GIFT/Primes/Special.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/LandauerDarkEnergy.lean
Lean/GIFT/Relations/LeptonSector.lean
Lean/GIFT/Relations/MassFactorization.lean
Lean/GIFT/Relations/NeutrinoSector.lean
Lean/GIFT/Relations/QuarkSector.lean
Lean/GIFT/Relations/SO16Relations.lean
Lean/GIFT/Relations/Structural.lean
Lean/GIFT/Relations/YukawaDuality.lean
Lean/GIFT/Sequences/Fibonacci.lean
Lean/GIFT/Sequences/Lucas.lean
Lean/GIFT/Sequences/Recurrence.lean
gift_core/__init__.py
gift_core/_version.py
gift_core/constants.py
gift_core/dashboard.py
gift_core/experimental.py
gift_core/fano.py
gift_core/monte_carlo.py
gift_core/relations.py
gift_core/roots.py
gift_core/scales.py
gift_core/topology.py
gift_core/torch_optim.py
gift_core/verify.py
gift_core/visualize.py
gift_core/analysis/__init__.py
gift_core/analysis/intervals.py
gift_core/analysis/joyce_certificate.py
gift_core/constants/__init__.py
gift_core/constants/algebra.py
gift_core/constants/cosmology.py
gift_core/constants/physics.py
gift_core/constants/structural.py
gift_core/constants/topology.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/mckay/__init__.py
gift_core/monster/__init__.py
gift_core/nn/__init__.py
gift_core/nn/fourier_features.py
gift_core/nn/g2_pinn.py
gift_core/nn/gift_native_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/primes/__init__.py
gift_core/sequences/__init__.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_v2_monster_mckay.py
tests/test_v2_primes.py
tests/test_v2_sequences.py
tests/test_v32_features.py
tests/test_yukawa_duality.py