TNLean

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

このページのプロジェクト情報と編集内容は無料で読めます。元の GitHub リポジトリが最終的な情報源であり、保存や議論への参加時だけログインが必要です。