OAI/InformationTheory/QuantumCircuit/
528 declarations, 0 contain sorry, 0 declared as axioms; 45 files
Files
- Ancilla.lean 16 declarations
- ApproximationBudget.lean 14 declarations
- Asymptotics.lean 13 declarations
- Backward.lean 5 declarations
- Basic.lean 12 declarations
- Circuit.lean 22 declarations
- CommonAxes.lean 5 declarations
- Computational.lean 30 declarations
- ConditionalParity.lean 2 declarations
- Count.lean 11 declarations
- Degree.lean 19 declarations
- DepthZero.lean 14 declarations
- HeavyOutcome.lean 1 declarations
- Localization.lean 8 declarations
- LowDegreePropagation.lean 8 declarations
- Main.lean 1 declarations
- Measurement.lean 8 declarations
- Model.lean 16 declarations
- Parity.lean 4 declarations
- ParityTrace.lean 9 declarations
- PauliBasis.lean 19 declarations
- PauliExpansion.lean 7 declarations
- Physical.lean 14 declarations
- Polynomial.lean 30 declarations
- ProductDistribution.lean 10 declarations
- ProductProjection.lean 26 declarations
- ProductSpectralResolution.lean 11 declarations
- ProductState.lean 9 declarations
- ProductStateBasis.lean 4 declarations
- Propagation.lean 1 declarations
- PropagationAsymptotics.lean 6 declarations
- Pruning.lean 2 declarations
- PruningConstruction.lean 13 declarations
- Reflection.lean 21 declarations
- ReflectionApproximation.lean 7 declarations
- RegularApproximation.lean 26 declarations
- Regularity.lean 2 declarations
- RetainedMean.lean 2 declarations
- RetainedRegularity.lean 4 declarations
- ScaleInduction.lean 1 declarations
- Spectral.lean 34 declarations
- SpectralIdentities.lean 4 declarations
- Toffoli.lean 12 declarations
- Trajectory.lean 24 declarations
- Transition.lean 21 declarations