Our article Certified Quantum Computation in Isabelle/HOL has been published in the Journal of Automated Reasoning and it's open access.
Last updated: Apr 25 2024 at 04:18 UTC