Email Gateway (Aug 19 2022 at 15:55): Email Gateway (Aug 19 2022 at 15:55):From: Makarius <makarius@sketis.net>
Larry has already mentioned the Timing panel of Isabelle/jEdit. Some more
details on that are in section 4.1 Timing in the Isabelle/jEdit manual,
e.g. timing information via tooltips.
Makarius
Email Gateway (Aug 19 2022 at 16:00):From: Lyj238 <lyj238@gmail.com>
Dear experts,
I have some long proof scripts.
After I finish a proof, I need count the time for Isabelle to prove it. Now I use a quite stupid way to record the start time and end time points manually, then compute the time which Isabelle spend.
Is there some automatically way to do this time-counting task? I remember that time can be recorded which is used to evaluate an expression.
Thanks in advance
Lyj
发自我的 iPad
Email Gateway (Aug 19 2022 at 16:01):From: Lawrence Paulson <lp15@cam.ac.uk>
The timing panel gives quite detailed timing information for theories and for individual lines.
Larry Paulson
Last updated: Nov 21 2024 at 12:39 UTC