Wolfram Engine Configuration

Your system looks as if you have installed Wolfram Engine {{wolframEngineConfigSuggestion.suggestion.version}} on {{wolframEngineConfigSuggestion.os}}.

Your system looks like {{wolframEngineConfigSuggestion.os}}, but Wolfram Engine may not be installed or may not be activated.

  1. Download Wolfram Engine from Wolfram
  2. Install Wolfram Engine
  3. Activate Wolfram Engine
  4. Configure how KeYmaera X connects to Wolfram Engine below
See also the installation and activation instructions.

Important: If Wolfram Engine is not activated prior to starting KeYmaera X, it is likely to fail and/or even crash the KeYmaera X server.

Kernel
This file does not exist on your system: {{linkNameOkPrefix}}{{linkNameWrong}}
The segment of the path highlighted in bold-face seems wrong.
The path exists, but it does not point to {{wolframEngineConfigSuggestion.suggestion.kernelName}}.
J/Link Native Library
This file does not exist on your system: {{jlinkLibPathOkPrefix}}{{jlinkLibPathWrong}}
The segment of the path highlighted in bold-face seems wrong.
The path exists, but it does not point to {{wolframEngineConfigSuggestion.suggestion.jlinkName}}.
Connection @