search

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

Proof info and proof object in notebook #28

Closed windsteiger closed 10 years ago

windsteiger commented 11 years ago

The proof info stored in the buttons is huge -> slows down notebook processing. Solution: store necessary proof info in external file, buttons load data from these files.