Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Quantum Computing

Email Gateway (Aug 22 2022 at 18:02):

From: Anthony Bordg <bordg.anthony@gmail.com>
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

Last updated: Apr 20 2024 at 08:16 UTC