GitHub repository: Chesterhuang1999/Veri-qec
Primary language: Python
Created: 2024-07-08T07:20:55Z
Description: A prototype tool for formal verification of quantum error correcting programs