search

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

Mixed-type global declarations in one cell #10

Open clange opened 11 years ago

windsteiger commented 11 years ago

It needs to be checked what happens when mixed types of globals appear in one cell Precedence of => used in global implication should be higher than that of "for all".