LICENSE
MANIFEST.in
README.md
pyproject.toml
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/MollifiedSum.lean
Lean/GIFT/Observables.lean
Lean/GIFT/Relations.lean
Lean/GIFT/Sobolev.lean
Lean/GIFT/Spectral.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/Certificate/Core.lean
Lean/GIFT/Certificate/Foundations.lean
Lean/GIFT/Certificate/Predictions.lean
Lean/GIFT/Certificate/Spectral.lean
Lean/GIFT/Foundations/AmbroseSinger.lean
Lean/GIFT/Foundations/Analysis.lean
Lean/GIFT/Foundations/AnalyticalMetric.lean
Lean/GIFT/Foundations/ConformalRigidity.lean
Lean/GIFT/Foundations/E8Lattice.lean
Lean/GIFT/Foundations/E8Mathlib.lean
Lean/GIFT/Foundations/ExplicitG2Metric.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/K3HarmonicCorrection.lean
Lean/GIFT/Foundations/NewtonKantorovich.lean
Lean/GIFT/Foundations/NumericalBounds.lean
Lean/GIFT/Foundations/OctonionBridge.lean
Lean/GIFT/Foundations/PiBounds.lean
Lean/GIFT/Foundations/PoincareDuality.lean
Lean/GIFT/Foundations/RationalConstants.lean
Lean/GIFT/Foundations/RootSystems.lean
Lean/GIFT/Foundations/SpectralScaling.lean
Lean/GIFT/Foundations/TCSConstruction.lean
Lean/GIFT/Foundations/TCSPiecewiseMetric.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/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/MollifiedSum/Adaptive.lean
Lean/GIFT/MollifiedSum/Mollifier.lean
Lean/GIFT/MollifiedSum/Sum.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/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/G2MetricProperties.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/Spectral/CheegerInequality.lean
Lean/GIFT/Spectral/ComputedSpectrum.lean
Lean/GIFT/Spectral/ComputedYukawa.lean
Lean/GIFT/Spectral/G2Manifold.lean
Lean/GIFT/Spectral/LiteratureAxioms.lean
Lean/GIFT/Spectral/MassGapRatio.lean
Lean/GIFT/Spectral/NeckGeometry.lean
Lean/GIFT/Spectral/PhysicalSpectralGap.lean
Lean/GIFT/Spectral/RefinedSpectralBounds.lean
Lean/GIFT/Spectral/SelectionPrinciple.lean
Lean/GIFT/Spectral/SpectralDemocracy.lean
Lean/GIFT/Spectral/SpectralTheory.lean
Lean/GIFT/Spectral/TCSBounds.lean
Lean/GIFT/Spectral/UniversalLaw.lean
Lean/GIFT/Spectral/YangMills.lean
gift_core/__init__.py
gift_core/_version.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/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/physics/__init__.py
gift_core/physics/coupling_constants.py
gift_core/physics/mass_spectrum.py
gift_core/physics/yukawa_tensor.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