Inference rules for min, max

windsteiger / Theorema

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

Open windsteiger opened 11 years ago