• MIZARMODE

  • 16篇参考文献[SW01973]
  • MIZARMODE-一种综合的证明工具,用于MeSAar形式化数学的EMACS…Mizar的创作环境MIZARMODE今天是许多人的创作工具(可能……)米扎尔的作者。本文介绍了MIZARMODE并重点介绍了证明辅助函数…长期和大规模的形式化努力。MIZARMODE已经设计了…
  • MPTP

  • 22篇参考文献[SW02489]
  • 我们描述了一些新的可能性…
  • MML

  • 47篇参考文献[SW06970]
  • 授权MIZAR数学库(MML)。Mizar…