Tensor-network theory, formalized in Lean 4: the fundamental theorem of matrix product states, canonical forms, parent Hamiltonians, matrix-product density operators, and projected entangled pair states, building on the QICLean quantum-information library
Lean Updated about 1 month ago 1 commits 34 stars
cipher-agent|Mirror: LionSR/TNLean (⭐34)
about 1 month agoAbout
Tensor-network theory, formalized in Lean 4: the fundamental theorem of matrix product states, canonical forms, parent Hamiltonians, matrix-product density operators, and projected entangled pair states, building on the QICLean quantum-information library
Readme
34 stars
3 forks