摘要：CoqQ：量子程序推理的Coq证明助手框架
作者：Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
论文ID：2207.11350
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-07-26
PDF 下载： 英文版 中文版pdf翻译中