Lean repository linked
The three Kanade-Russell identities modulo nine
arXiv:2609.09653 · arXiv
Lean formalisations (1)
yuma-mizuno/KR-mod9-lean at f8612fcd9645
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.