Anthony Bordg (Dec 29 2020 at 10:43): 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: Sep 10 2026 at 03:40 UTC