External Resources

External Resources

Repositories

Resource	Link
GIFT Documentation	github.com/gift-framework/GIFT
Core (Lean 4 + Python)	github.com/gift-framework/core
Lean Blueprint	gift-framework.github.io/core
PyPI Package	pypi.org/project/gift-core

Zenodo Deposits (DOIs)

Paper	DOI
Framework (data + scripts)	10.5281/zenodo.18837071
Explicit G₂ Metric	10.5281/zenodo.18860358
Spectral Geometry	10.5281/zenodo.18920368

Outreach

Resource	Link
Substack blog	giftheory.substack.com

Experimental References

Source	Description
PDG 2024	Particle Data Group — masses, couplings, CKM
NuFIT 6.0	Neutrino oscillation parameters (Oct 2024)
Planck PR4	Cosmological parameters (Tristram+ 2024)
CODATA 2022	Fundamental physical constants

Author

ResearchGate	Brieuc de La Fournière