Verifying the Smallest Interesting Colour Code with Quantomatic2018-02-270 OA AI DOI:10.4204/eptcs.266.10原文链接原文求助分享收藏摘要 En