Lean repository linked
Complete Existence Classification of Seven-Partite Absolutely Maximally Entangled States
arXiv:2608.01011 · arXiv
Lean formalisations (1)
zblore/fc-ame-7 at cf65a3b902a9
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.