KeYmaera X is now offline.
Please close the browser window.