Results 1 to 3 of 3
Sort by:

  • 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...