The repositories of this account have moved to the Arithmon organisation. This page is a signpost. Everything current lives there.
| Was | Now |
|---|---|
gift-framework/GIFT |
Arithmon/K7, the framework, the physics and the papers |
gift-framework/core |
Arithmon/K7-Lean, the Lean 4 formal core and giftpy |
The framework is now presented as the K₇ framework; GIFT remains the name of its founding phase.
GitHub redirects the old URLs, web and git clone / fetch / push alike. The
published papers are immutable PDFs on Zenodo and they cite
github.com/gift-framework/core dozens of times, so those redirects are
load-bearing infrastructure: the old paths will never be reused.
One thing does not redirect: GitHub Pages. The documentation sites moved and the old addresses return 404 with no forwarding.
| Old documentation URL | Where it is now |
|---|---|
gift-framework.github.io/GIFT/ |
arithmon.github.io/K7 |
gift-framework.github.io/core/ |
arithmon.github.io/K7-Lean |
- The program: github.com/Arithmon. The whole of it on one page, charter, open problems, confrontations scoreboard, methodology and atlas, is at arithmon.com.
- The framework:
Arithmon/K7for the physics,Arithmon/K7-Leanfor the machine-checked proofs andpip install giftpy. - The publications: Zenodo concept DOI 10.5281/zenodo.16891489, which always resolves to the current version.
Everything else this page used to carry, the headline numbers, the paper list, who
cites the work, is maintained in Arithmon/K7,
where a cross-repository consistency check holds it to a single ledger. It was held
to nothing here, and it had drifted.
K₇ (formerly GIFT) is the founding framework of the Arithmon program.



