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

Make “session→math” button groups more easily expandable #5

Closed clange closed 12 years ago

clange commented 12 years ago

There are two problems at the moment:

windsteiger commented 12 years ago