Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
measurement time of Isabelle proof
48 views
Skip to first unread message
goshaigos...@gmail.com
Sep 28, 2016, 11:31:10 AM9/28/16
to
Hallo,
I would like to ask how one can measure proof time in Isabelle.
What would be the best approach to the following task:
1. Run Isabelle
2. When Isabelle is loaded get a time stamp.
3. Make a proof.
4. Get another time stamp.
I use Isabelle 2016 on Windows PC.
Do I need to use command line for that? How would I output the time info then?
(I am new to Isabelle.)
Every advice is highly appreciated.
Thanks very much in advance.
Regards,
Igor
I would like to ask how one can measure proof time in Isabelle.
What would be the best approach to the following task:
1. Run Isabelle
2. When Isabelle is loaded get a time stamp.
3. Make a proof.
4. Get another time stamp.
I use Isabelle 2016 on Windows PC.
Do I need to use command line for that? How would I output the time info then?
(I am new to Isabelle.)
Every advice is highly appreciated.
Thanks very much in advance.
Regards,
Igor
0 new messages