Session Isabelle_Marries_Dirac
View
theory dependencies
View
document
View
outline
Theories
Basics
Binary_Nat
Quantum
Complex_Vectors
Matrix.Utility
Matrix.Matrix_Legacy
Matrix_Tensor.Matrix_Tensor
Tensor
More_Tensor
Measurement
Entanglement
Quantum_Teleportation
Deutsch
Deutsch_Jozsa
No_Cloning
Quantum_Prisoners_Dilemma