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

Knowledge browser #2

Closed windsteiger closed 10 years ago

windsteiger commented 12 years ago

Allow for jumping from Notebook to "knowledge base" dialog (not just vice versa). Might be useful when you find something while browsing the Notebook, which could be useful for getting the current proof done.

windsteiger commented 12 years ago

I think this cannot be implemented easily. Plus, it's not clear whether it should jump to the knowledge browser in Compute, Prove, or Solve