TNLean

Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)

本页的项目背景与编辑内容均可免费阅读。原始 GitHub 仓库仍是最终依据；只有收藏或参与讨论时才需要登录。