search

windsteiger / Theorema

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

makeSet #24

Closed windsteiger closed 11 years ago

windsteiger commented 11 years ago

makeSet must stay unevaluated as long as variables are present