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

Filter knowledge browser #3

Closed windsteiger closed 10 years ago

windsteiger commented 11 years ago

Allow for filtering the theory items in the knowledge base view by a string (like in modern email software). Might be useful when notebooks are badly organised, or large, or deeply nested.

windsteiger commented 10 years ago

Done