• KLMLean

  • Referenced in 5 articles [sw09988]
  • reasoning. KLMLean 2.0 implements some analytic tableaux calculi for these logics recently introduced. KLMLean...
  • PreDeLo

  • Referenced in 3 articles [sw13719]
  • Prolog implementation of labelled tableaux calculi for such extensions, and it is able to deal ... each axiom or rule of the tableaux calculi is implemented by a Prolog clause ... this paper, we also introduce a tableaux calculus for checking entailment in the rational extension...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • ILTP

  • Referenced in 29 articles [sw00437]
  • The Intuitionistic Logic Theorem Proving (ILTP) library provides...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SETHEO

  • Referenced in 122 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • TPS

  • Referenced in 75 articles [sw00973]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • 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...
  • Haskell

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • SPASS

  • Referenced in 185 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • TPTP

  • Referenced in 401 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Mizar

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

  • Referenced in 198 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • HOL

  • Referenced in 594 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • ETPS

  • Referenced in 161 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • OCaml

  • Referenced in 276 articles [sw06363]
  • OCaml is the most popular variant of the...
  • FINDER

  • Referenced in 40 articles [sw06376]
  • Finite domain enumerator. This is a finite domain...