An experiment at axiomatizing error correction with Pauli operators.
Primary LanguageVerilog
This repository is not active