摘要：将Coq连接到Isabelle的PIDE基础设施的实验
作者：Makarius Wenzel
论文ID：1304.6626
分类：Human-Computer Interaction
分类简称：cs.HC
提交时间：2013-04-25
PDF 下载： 英文版 中文版pdf翻译中