I
sabelle_
M
arries_
D
irac
Basics
Binary_Nat
Quantum
Complex_Vectors
Tensor
More_Tensor
Measurement
Entanglement
Quantum_Teleportation
Deutsch
Deutsch_Jozsa
No_Cloning
Quantum_Prisoners_Dilemma