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

QuantumComputingBench · graph-grounded exercise book

State Preparation

Reason from a target amplitude family to normalization, structural representations and a preparation construction. Inspect sparse and zero boundaries before transferring an argument to a circuit interface.

Back to the lean reader path

  1. State Preparation (11 shared cores, 2 aligned Lean views)
  2. Structured Preparation (20 shared cores, 0 aligned Lean views)