• Isabelle

  • Referenced in 617 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Isar

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

  • Referenced in 156 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • OMDoc

  • Referenced in 87 articles [sw07138]
  • OMDOC: Towards an internet standard for the administration...
  • XPath

  • Referenced in 371 articles [sw15780]
  • XPath 2.0 is an expression language that allows...
  • EPGY

  • Referenced in 4 articles [sw28722]
  • A Proof Environment for Teaching Mathematics. The EPGY...