/AxiomatizePauliQEC

An experiment at axiomatizing error correction with Pauli operators.

Primary LanguageVerilog

Stargazers