Open Issues Need Help
View All on GitHub Document the rebuild toolchain in HACKING 3 months ago
documentation good first issue
LionSR/TNLean LionSR/TNLean Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Open project →
21
Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Lean
help wanted formalization tracking symmetry-SPT 2011.12127
LionSR/TNLean LionSR/TNLean Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Open project →
21
Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Lean
Upstream the SU(2) to SO(3) double-cover surjectivity and the ZXZ Euler decomposition of SO(3) to Mathlib 4 months ago
enhancement help wanted formalization infrastructure symmetry-SPT 2011.12127 follow-up
LionSR/TNLean LionSR/TNLean Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Open project →
21
Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Lean