Troubleshooting for Windows - LS-Lab/KeYmaeraX-release GitHub Wiki

If KeYmaera X crashes on Windows inside the JLink interface (used to communicate with Mathematica), a potential remedy is to turn off Windows Firewall.