Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
GNU General Public License v3.0
70
stars
14
forks
source link
initial proof situation simplification #40
Closed
windsteiger closed 10 years ago
simplification by computation should be applied to formulas in the initial proof situation