## Stream: quantum computing

#### Anthony Bordg (Jul 02 2019 at 19:01):

To recap for potential newcomers: Yijun and I have completed the formalizations of the no-cloning theorem and of the quantum teleportation algorithm :tada:
@Yijun He is formalizing the quantum Fourier transform in his fork.
@Hanna Lachnitt is formalizing Deutsch's algorithm in her fork.

#### Hanna Lachnitt (Jul 02 2019 at 22:06):

Deutsch's algorithm is complete :party_ball: Next is Deutsch-Jozsa.

#### Anthony Bordg (Jul 02 2019 at 22:36):

@Hanna Lachnitt Congrats! :+1:
I will have a look at your file as soon as possible.

#### Anthony Bordg (Aug 20 2019 at 14:43):

Thanks to @Hanna Lachnitt The Deutsch-Jozsa algorithm is now part of the library.

#### Anthony Bordg (Aug 23 2019 at 21:17):

Thanks to @Yijun He and @Hanna Lachnitt the quantum prisoners's dilemma is now part of the library.
However, much remains to be done:
- Formal specifications for Nash equilibrium and Pareto optimum in the context of thelocale restricted_strategic_space, then prove that in the maximally entangled case $D \otimes D$ is no longer a Nash equilibrium and $Q \otimes Q$ is a new Nash equilibrium which is also Pareto optimal.
- A fourth section on the biased strategic space and the "miracle move" $M$.

Last updated: Oct 01 2022 at 10:26 UTC