Stream: Beginner Questions

Topic: Error: Naproche-SAD

view this post on Zulip Kubra (Aug 15 2022 at 00:36):

Hello all,

I got an error while running Isabelle. It says about Naproche-SAD server failure. Eventually, I cannot execute codes and get any output from the tool since prover process is inactive. Attached you can find a ss.

How can I solve this issue ?

errorNaproche.png

Thanks,

Last updated: Apr 20 2024 at 12:26 UTC