ProjectExploration
Quantum algorithm & verification workbench
A workbench for developing quantum algorithms alongside the tools that keep them honest: classical simulation, formal specification of the mathematics, and circuit-equivalence checking. The variational-eigensolver paper is the first concrete result to come out of it.
circuit verificationsimulationhybrid workflows