Home

GIFT v3.3 | GitHub | Core | Blueprint | Substack | Zenodo | MIT License

Home

Start Here

• Getting Started
• GIFT for Everyone
• FAQ
• Glossary

By Audience

• For Physicists
• For Geometers
• For Formalization Experts

Papers

• Main Framework
• S1: Foundations
• S2: Derivations
• Explicit G2 Metric
• Spectral Geometry

Reference

• Observable Reference
• Statistical Evidence
• Validation Summary
• Independent Validations

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

• Lean Formalization
• Repository Structure
• External Resources
• Citation Guide
• Changelog Highlights
• Site Map