[isabelle] Quantum Computing

[Anthony Bordg]

Dear Isabelle users,

I would like to point out a project I started a few weeks ago in case some
of you might be interested. It is a formalization of quantum computing
<https://github.com/AnthonyBordg/Isabelle_marries_Dirac> in Isabelle.
I should add a README file soon, but in the meantime if you have any
question please ask, you can also drop me an email.

Best regards
Anthony