• MIZARMODE

  • 16篇参考文献[SW01973]
  • Mizar背后的设计原则系统并展示了这些设计原理——主要是集中…战术可编程证明 助手它使“证明代码“在长远更多…证明骨架,文章和摘要的语义浏览,结构化浏览,证明建议使用培训…米扎尔证明顾问,演绎工具,如MOMM等。证明
  • OMDOC

  • 80篇参考文献[SW07138]
  • OMDOC:走向行政管理的互联网标准…
  • GF

  • 32篇参考文献[SW13667 ]
  • 语法框架。一种类型的理论语法形式主义。语法的…
  • XPath

  • 365篇参考文献[SW15780]
  • XPath 2是一种允许…的表达式语言。
  • 欧米茄

  • 3篇参考文献[SW19624]
  • 文本编辑器与文本编辑器之间的中介器证明
  • 路易

  • 10篇参考文献[SW19627 ]
  • LΩUI:可爱的Ω巨型用户界面。…的能力