Resuming Interactive Proof
36 views
Skip to first unread message
mohit jangid
Aug 6, 2021, 5:55:47 PM8/6/21
to tamarin-prover
Hi All,
I am able to resume the GUI interactive proof as long as the Tamarin Local Server is active (http://127.0.0.1:3001). However, Is there any way to resume the proof after the server process is killed or the machine running the proof reboots?
Thank you
Reply all
Reply to author
Forward
0 new messages