Stream: Announcements

Topic: quantum computing


view this post on Zulip Anthony Bordg (Dec 29 2020 at 10:43):

Our article Certified Quantum Computation in Isabelle/HOL has been published in the Journal of Automated Reasoning and it's open access.


Last updated: Dec 05 2021 at 23:19 UTC