QuantumComputingBench · graph-grounded exercise book

Quantum Information

Study state and channel representations, symmetry and tensor structure through primary-source-grounded problems. Planned curriculum anchors are not local Lean closure for the complete answers.

Back to the lean reader path

1. Quantum Information (4 shared cores, 0 aligned Lean views)
2. Representation Qit (16 shared cores, 0 aligned Lean views)
3. Quantum Information Apps (19 shared cores, 0 aligned Lean views)
4. Tensor Symmetry (14 shared cores, 0 aligned Lean views)