1.6k citations · 2.2k across the 17 of their papers we have counts for
1 paper · 2 filters
Ross Duncan, Maxime Lucas
In this paper we give a partially mechanized proof of the correctness of Steane's 7-qubit error correcting code, using the tool Quantomatic. To the best of our knowledge, this repr…