Verifying the Smallest Interesting Colour Code with Quantomatic


Abstract in English

In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detecting code.

Download