-
Notifications
You must be signed in to change notification settings - Fork 0
External Resources
Brieuc edited this page Mar 12, 2026
·
1 revision
| 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 |
| Paper | DOI |
|---|---|
| Framework (data + scripts) | 10.5281/zenodo.18837071 |
| Explicit G2 Metric | 10.5281/zenodo.18860358 |
| Spectral Geometry | 10.5281/zenodo.18920368 |
| Resource | Link |
|---|---|
| Substack blog | giftheory.substack.com |
| 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 |
| ResearchGate | Brieuc de La Fournière |
Start Here
By Audience
Papers
Reference
Blog Posts
- Roberto Carlos' Geometry
- Lice of the Universe
- The Algebra That Waited
- Gift from Bit
- On What Comes First
- Joyce's Theorem in Lean
- 13 Theorems, Zero Trust
Project