HomeIsabelle/Phabricator
Diffusion afp-devel 65d5538f1b4b

new entry Isabelle marries Dirac
65d5538f1b4b
Actions

Description

new entry Isabelle marries Dirac

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPcace3e947231: SC_DOM_Components website
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP65d5538f1b4b: new entry Isabelle marries Dirac.Nov 27 2020, 12:03 PM

Changes (21)

PathSize

rAFP65d5538f1b4b

View Options

thys/Isabelle_Marries_Dirac/Basics.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/Binary_Nat.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/Complex_Vectors.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/Deutsch.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/Deutsch_Jozsa.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/Entanglement.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/Measurement.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/More_Tensor.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/No_Cloning.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/Quantum.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/Quantum_Prisoners_Dilemma.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/Quantum_Teleportation.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/README.md

Loading...
View Options

thys/Isabelle_Marries_Dirac/ROOT

Loading...
View Options

thys/Isabelle_Marries_Dirac/Tensor.thy

Loading...
View Options

thys/Isabelle_Marries_Dirac/document/root.bib

Loading...
View Options

thys/Isabelle_Marries_Dirac/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...