quantum-computing-lean/QuantumComputing.lean at main · duckki/quantum-computing-lean · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
import QuantumComputing.Gates
import QuantumComputing.Matrix
import QuantumComputing.Measurement
import QuantumComputing.Measurement.Computational
import QuantumComputing.Measurement.Generalized
import QuantumComputing.Measurement.PartialTrace
import QuantumComputing.Measurement.Projective
import QuantumComputing.Measurement.Examples
import QuantumComputing.State
import QuantumComputing.States
import QuantumComputing.Notation
import QuantumComputing.Theorems

/-!
# QuantumComputing

Top-level import for the finite-dimensional quantum computing formalization.
-/