QuantumComputinglib learn · inspect · formalize
Checked on this commit 4,524 public declarations commit 4e2c5b2c0be5 Build record

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 non-lean reader path

  1. Quantum Information (4 shared cores)
  2. Representation Qit (16 shared cores)
  3. Quantum Information Apps (19 shared cores)
  4. Tensor Symmetry (14 shared cores)