Lean repository linked
Symmetry-guided constructions of absolutely maximally entangled states in five open cases
arXiv:2608.05781 · arXiv
Lean formalisations (1)
zblore/fc-ame-12-5 at 02cdd78d2782
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.