Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

External Resources

Brieuc edited this page Mar 12, 2026 · 1 revision

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 G2 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

Clone this wiki locally

AltStyle によって変換されたページ (->オリジナル) /