摘要：一个承载Mizar数学库（MML）的Web平台的开发报告
作者：Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho and Katsumi Wasaki
论文ID：2210.02336
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-10-06
PDF 下载： 英文版 中文版pdf翻译中