• MizarMode

  • Referenced in 17 articles [sw01973]
  • MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics. The Emacs ... authoring environment for Mizar (MizarMode) is today the authoring tool of choice for many (probably ... Mizar authors. This article describes the MizarMode and focuses on the proof assistance functions ... long-term and large-scale formalization effort. MizarMode has been designed with...
  • MPTP

  • Referenced in 22 articles [sw02489]
  • We describe a number of new possibilities for...
  • MoMM

  • Referenced in 32 articles [sw04655]
  • MoMM (in the narrower sense) is a tool...
  • Mizar

  • Referenced in 452 articles [sw04704]
  • The Mizar System is the only implementation of...
  • MML

  • Referenced in 47 articles [sw06970]
  • Licensing the Mizar Mathematical Library (MML). The Mizar...