LionSR/TNLean
Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Lean
Stars
28
Forks
1
License
Apache-2.0
Open Issues
144
Updated
8m ago
No README available
Statistics
- Stars
- 28
- Forks
- 1
- Open Issues
- 144
- Created
- Feb 07, 2026
- Updated
- Aug 05, 2026