The Coq Proof Assistant Reference Manual - Version V8B. Barras,S. Boutin,C. Cornes,J. Courant,J. C. Filliatre,E. Gimenez,H. Herbelin,G. Huet,C. Munoz,C. Murthy,C. Parent, C. Paulin, A. Sabi,B. Wernermsra(2006)引用 45|浏览11暂无评分AI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要