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/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/Observables.lean
Lean/GIFT/Primes.lean
Lean/GIFT/Relations.lean
Lean/GIFT/Sequences.lean
Lean/GIFT/Sobolev.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/NumericalBounds.lean
Lean/GIFT/Foundations/OctonionBridge.lean
Lean/GIFT/Foundations/RationalConstants.lean
Lean/GIFT/Foundations/RootSystems.lean
Lean/GIFT/Foundations/TCSConstruction.lean
Lean/GIFT/Foundations/Analysis/AnalyticalFoundations.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/Foundations/Analysis/Elliptic/Basic.lean
Lean/GIFT/Foundations/Analysis/G2Forms/All.lean
Lean/GIFT/Foundations/Analysis/G2Forms/DifferentialForms.lean
Lean/GIFT/Foundations/Analysis/G2Forms/G2FormsBridge.lean
Lean/GIFT/Foundations/Analysis/G2Forms/G2Structure.lean
Lean/GIFT/Foundations/Analysis/G2Forms/HodgeStar.lean
Lean/GIFT/Foundations/Analysis/G2Forms/Test.lean
Lean/GIFT/Foundations/Analysis/IFT/Basic.lean
Lean/GIFT/Foundations/Analysis/Sobolev/Basic.lean
Lean/GIFT/Geometry/DifferentialFormsR7.lean
Lean/GIFT/Geometry/Exterior.lean
Lean/GIFT/Geometry/HodgeStarCompute.lean
Lean/GIFT/Geometry/HodgeStarR7.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/Observables/BosonMasses.lean
Lean/GIFT/Observables/CKM.lean
Lean/GIFT/Observables/Cosmology.lean
Lean/GIFT/Observables/PMNS.lean
Lean/GIFT/Observables/QuarkMasses.lean
Lean/GIFT/Observables/WeakMixingAngle.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/FanoSelectionPrinciple.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/OverDetermination.lean
Lean/GIFT/Relations/QuarkSector.lean
Lean/GIFT/Relations/SO16Relations.lean
Lean/GIFT/Relations/SectorClassification.lean
Lean/GIFT/Relations/Structural.lean
Lean/GIFT/Relations/TauBounds.lean
Lean/GIFT/Relations/V33Additions.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/numerical_observations.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/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/primes/__init__.py
gift_core/sequences/__init__.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