Mizar; Mathematical knowledge management; Search system; Documentation generator;
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:聚焦库生成器:MDMX抑制剂的情况
机译:专注于HTML-IZED MIZAR库的符号的文档生成器
机译:用于碎石的自聚焦多火花冲击波发生器的开发
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:文档生成器专注于HTmL-ized mizar的符号 图书馆
机译:设计符号库,一个组合设计和文档工具,