@Inproceedings{EPTCS266.10, author = {Garvie, Liam and Duncan, Ross}, year = {2018}, title = {Verifying the Smallest Interesting Colour Code with Quantomatic}, editor = {Coecke, Bob and Kissinger, Aleks}, booktitle = {{\rm Proceedings 14th International Conference on} Quantum Physics and Logic, {\rm Nijmegen, The Netherlands, 3-7 July 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {266}, publisher = {Open Publishing Association}, pages = {147-163}, doi = {10.4204/EPTCS.266.10}, }