Verifying the Smallest Interesting Colour Code with Quantomatic
In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detecting code.
quant-ph↗
arXiv subjects
Publications and source records attributed to Liam Garvie.
In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detecting code.