• lolliCoP

  • Referenced in 2 articles [sw01476]
  • lolliCoP -- a linear logic implementation of a lean...
  • OTTER

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

  • Referenced in 264 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • STRIP

  • Referenced in 15 articles [sw04650]
  • STRIP: Structural sharing for efficient proof-search. The...
  • DCTP

  • Referenced in 21 articles [sw06621]
  • DCTP - A Disconnection Calculus Theorem Prover. DCTP is...
  • SCOTT

  • Referenced in 27 articles [sw06717]
  • SCOTT: Semantically Constrained Otter. The SCOTT project dates...
  • MUSCADET

  • Referenced in 10 articles [sw06859]
  • MUSCADET: An automatic theorem proving system using knowledge...
  • NoMoRe

  • Referenced in 22 articles [sw07094]
  • NoMoRe: A system for non-monotonic reasoning under...
  • LoTREC

  • Referenced in 27 articles [sw07684]
  • LoTREC: Logical tableaux research engineering companion. In this...
  • Racer

  • Referenced in 66 articles [sw09837]
  • Racer is a knowledge representation system that implements...
  • JProver

  • Referenced in 13 articles [sw09978]
  • JProver: Integrating connection-based theorem proving into interactive...
  • QUBE

  • Referenced in 28 articles [sw11381]
  • QuBE: A System for Deciding Quantified Boolean Formulas...
  • P.rex

  • Referenced in 9 articles [sw21344]
  • Fiedler, A.: P.rex: An interactive proof explainer. This...
  • MODPROF

  • Referenced in 2 articles [sw21543]
  • The MODPROF theorem prover. This paper introduces MODPROF...