qodec 0.2.1

A formal model of quantum error correction protocols.

releases

Sources