Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
GNU General Public License v3.0
71
stars
14
forks
source link
Prover programming: KB operations #14
Closed
windsteiger closed 11 years ago
use special KB operations in prover programming (joinKB, appendKB, etc.) in order to savely avoid duplicate formulae in the KB