Kubra (Aug 15 2022 at 00:36): 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 ?
Thanks,
Last updated: Dec 21 2024 at 16:20 UTC