Mingyu Chen
Results
2
issues of
Mingyu Chen
Hello, I'm a student from USTC. Recently I used your Enfield compiler, it's great and I learned a lot. But when I tried to implement CODAR algorithm in arxiv/2002.10915, I...
Hi. I want to set up VOQC locally. But I encounter the following error when I install the QuantumLib library. ``` $ opam install coq-quantumlib.1.1.0 The following actions will be...