TNLean

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

本頁的專案背景與編輯內容均可免費閱讀。原始 GitHub 儲存庫仍是最終依據；只有收藏或參與討論時才需要登入。