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
Mma assignments during Theorema input #23
Closed
windsteiger closed 11 years ago
x=1 then make a Theorem containing P[x] -> x evaluates Problem in Session.m: freshNames. Extract should put Hold