search

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

Proof tree live view in long proofs #13

Closed windsteiger closed 10 years ago

windsteiger commented 11 years ago

In long proofs the proof tree view updates too frequently and eats up too much time when constantly redrawing the tree. Think about alternatives depending on the "size" of the current proof.

windsteiger commented 11 years ago

For the moment, we change UpdateInterval during a proof. We also implemented an alternative to the tree view, which we use when the tree becomes bigger. Also, I would like to have a display showing the current search depth.

windsteiger commented 11 years ago

We only display a small segment of the tree during the proof generation, when the proof is finished, we show the whole tree. We'll try out how this performs in practice, looks promising.