Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Lean-QIT:迈向量子信息理论的形式化基础设施
Chengkai Zhu, Ziao Tang, Guocheng Zhen, Yimeng Cao, Yusheng Zhao, Ranyiliu Chen, Xuanqiang Zhao, Lei Zhang, Xin Wang
机构
*
QudeLeap Research(QudeLeap研究院)
;
The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))
;
Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area(粤港澳大湾区量子科学中心)
;
The University of Hong Kong(香港大学)
机构
*
Department of Computer Science Tennessee Tech University Cookeville, TN, USA
;
School of Interdisciplinary Informatics University of Nebraska Omaha Omaha, NE, USA
;
1 Department of Computer Science, Tennessee Tech University, TN, USA.
;
2 School of Interdisciplinary Informatics, University of Nebraska Omaha, NE, USA.
;
3 Dept. of Mathematics \& Computer Science, University of North Carolina at Pembroke, NC, USA.