机译:星盘的女儿阿尔泰尔和米扎尔
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:女孩想看起来像女孩
机译:Predubere and Pubuere期间乱伦贫民窟女儿,美丽父亲和媳妇案件的研究。
机译:阿德勒天文馆收藏品中东方和西方星体的冶金和制造过程的无损同步X射线研究。
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:mizar-items:探索mizar中的细粒度依赖项 数学图书馆