Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Counting the proof time


view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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: Mar 29 2024 at 04:18 UTC