Certified Quantum Computation in Isabelle/HOL.

Anthony Bordg Hanna Lachnitt Yijun He

Published in: J. Autom. Reason. (2021)

Keyphrases

quantum computation
theorem prover
natural deduction
inference rules
theorem proving
first order logic
higher order logic
sequent calculus
cut elimination
databases
technical support
case study
multi agent systems
object oriented