# Verifying the Smallest Interesting Colour Code with Quantomatic

## TL;DR

This paper demonstrates the use of Quantomatic to verify the fundamental properties of the Smallest Interesting Colour Code, an error-detecting quantum code, showcasing a practical application of diagrammatic reasoning tools.

## Contribution

It provides the first case study applying Quantomatic to verify properties of a quantum error-detecting code, illustrating its effectiveness in quantum code analysis.

## Key findings

- Successful verification of the code's basic properties
- Demonstration of Quantomatic's applicability in quantum error correction
- Insights into the diagrammatic reasoning process for quantum codes

## Abstract

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

---
Source: https://tomesphere.com/paper/1706.02717