Open Issues Need Help
View All on GitHub Document the rebuild toolchain in HACKING about 2 hours ago
documentation good first issue
Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Lean
help wanted formalization tracking symmetry-SPT 2011.12127
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 about 1 month ago
enhancement help wanted formalization infrastructure symmetry-SPT 2011.12127 follow-up
Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Lean