Open Issues Need Help
View All on GitHub Document the rebuild toolchain in HACKING 8 days ago
documentation good first issue
Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Lean
Tracking: cohomological classification of the AKLT SO(3) SPT phase in H^2(SO(3), U(1)) about 1 month ago
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