Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
amaletzk opened this issue 9 years ago · comments
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.