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

Option for not creating any computation info #48

Open amaletzk opened 9 years ago

amaletzk commented 9 years ago

Since the folder containing all the information about computations can grow very big, it might be a good idea to add a preference which controls the generation of computation info.