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

Formula-cell tags #50

Open amaletzk opened 9 years ago

amaletzk commented 9 years ago

Allow arbitrary (and arbitrarily many) cell-tags in formula cells, but mark the one that should become the label (e.g. with some particular prefix). The remaining tags should go into an optional parameter of the formulas.