• Mizar

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

  • Referenced in 14 articles [sw09796]
  • System for automated deduction (SAD): A tool for...
  • ForTheL

  • Referenced in 8 articles [sw09797]
  • ForTheL — the language of formal theories. ForTheL, an...