TNLean

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

Der Projektkontext auf dieser Seite ist kostenlos lesbar. Das ursprüngliche GitHub-Repository bleibt maßgeblich; nur zum Speichern oder Diskutieren ist eine Anmeldung nötig.