摘要：提高HTML化Mizar库的符号信息收集与整理的文档生成系统
作者：Kazuhisa Nakasho and Yasunari Shidama
论文ID：1505.01577
分类：Mathematical Software
分类简称：cs.MS
提交时间：2015-05-08
PDF 下载： 英文版 中文版pdf翻译中