• OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • DISCOUNT

  • Referenced in 14 articles [sw19613]
  • A distributed and learning equational prover DISCOUNT. The...
  • CLIN

  • Referenced in 6 articles [sw19618]
  • A semantically guided first-order theorem prover CLIN...