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.19892350 |
| Spectral Geometry | 10.5281/zenodo.19893371 |
Outreach
| Resource | Link |
|---|---|
| Substack blog | arithmon.substack.com |
Experimental References
| Source | Description |
|---|---|
| PDG 2024 | Particle Data Group, masses, couplings, CKM |
| NuFIT 6.1 | Neutrino oscillation parameters |
| Planck PR4 | Cosmological parameters (Tristram+ 2024) |
| CODATA 2022 | Fundamental physical constants |
Author
| ResearchGate | Brieuc de La Fournière |