机译:Mizar数学库在Mizar中进行交互式证明开发的作用
Association of Mizar Users;
Section of Computer Systems and Teleinformatic Networks, University of Białystok;
Institute of Informatics, University of Białystok;
Institute of Informatics, University of Białystok;
Department of Applied Linguistics, Faculty of Philology, University of Białystok;
Institute of Informatics, University of Białystok;
Institute of Informatics, University of Białystok;
Proof assistant; Repository; Mizar Mathematical Library;
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:MizarMode-一种用于Mizar数学形式化的集成证明辅助工具
机译:OMDoc中的Mizar数学库:翻译和应用
机译:Mizar项:在Mizar数学库中探索细粒度的依赖项
机译:在MIZAR-C中实现二叉树
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:MIZAR数学库在MIZAR互动证明发展的作用
机译:mIZaR mz8310