Theory of
proveit
.
physics
.
quantum
.circuits
ΒΆ
Provide description here.
In [1]:
import
proveit
%
theory
# toggles between interactive and static modes
Local content of this theory
common expressions
axioms
theorems
demonstrations
Sub-theories
All axioms contained within this theory
proveit.physics.quantum.circuits.qcircuit_eq_def
proveit.physics.quantum.circuits.qcircuit_input_eq_def
proveit.physics.quantum.circuits.qcircuit_output_eq_def
proveit.physics.quantum.circuits.qcircuit_input_part_eq_def
proveit.physics.quantum.circuits.qcircuit_output_part_eq_def
