Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Quantum Computing. Contents of Cl-isabelle-use...

view this post on Zulip Email Gateway (Aug 22 2022 at 18:31):

From: Anthony Bordg <bordg.anthony@gmail.com>
Hello Sidi,

thank you for pointing this out.

Larry, it's an opportunity for you to contribute to my library ! :)

cheers
Anthony

view this post on Zulip Email Gateway (Aug 22 2022 at 18:32):

From: Sidi Mohamed BEILLAHI <med.beillahi@gmail.com>
Hello Anthony,

There is a formalization of quantum mechanics which is part of a HOL Light
library of complex function vector spaces (
https://github.com/jrh13/hol-light/tree/master/Functionspaces). Using this
library, a tool for the verification of optical quantum circuits was
developed (https://github.com/beillahi/FMV-QC-HOL).

Yours Sincerely
Sidi Mohamed

Last updated: Nov 21 2024 at 12:39 UTC