Proof info and proof object in notebook
windsteiger opened this issue · comments
windsteiger commented
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.