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
Measure evaluation times of computations #38
Closed
amaletzk closed 9 years ago
Maybe it would be good to have a possibility to see how much time a Theorema computation took.