Skip to content

Troubleshooting for Windows

Jump to bottom Edit New page
Yong Kiam edited this page Jul 2, 2017 · 1 revision

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

The KeYmaera X Theorem Prover for Hybrid Systems

Add a custom sidebar
Clone this wiki locally