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

Evaluation of formulae #4

Open windsteiger opened 12 years ago

windsteiger commented 12 years ago

In the knowledge base dialog, allow for directly evaluating theory items not yet evaluated, instead of having to jump to the notebook and do it there.