Theorem Provers Based on Tableau Systems

Theorem provers based on the Analytic Tableaux

  • LOTREC
  • In construction…

Theorem provers based on the KE System

Interactive proof assistants based on the KE System

Variations of KE

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License