Lean repository linked
Absolutely maximally entangled states of seven qubits do not exist
arXiv:1608.06228 · arXiv
Lean formalisations (1)
zblore/fc-ame-7-2 at 249375965695
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.