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

GUI: present collections #20

Closed windsteiger closed 10 years ago

windsteiger commented 11 years ago

How to present e.g. the collection of builtins used in a computation. Instead of just enumerating, check for complete groups and then only write group name