Skip to content
C

Clifford-Quanto

Project ID: 1832

This is a Quantomatic proof development in support of the paper "Optimising Clifford Circuits with Quantomatic" by Andrew Fagan and Ross Duncan. There are also some supporting scripts and data files.