• Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • MizarMode

  • Referenced in 18 articles [sw01973]
  • MizarMode -- an integrated proof assistance tool for the...
  • Isar

  • Referenced in 144 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...
  • Mizar

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

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • HOL

  • Referenced in 591 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • MML

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

  • Referenced in 12 articles [sw10191]
  • PRocH: Proof Reconstruction for HOL Light. PRocH is...
  • MMode

  • Referenced in 3 articles [sw24341]
  • MMode A Mizar Mode for the proof assistant...