This repository has been archived by the owner on Jul 22, 2024. It is now read-only.

Make web.keymaerax.org the default tool #8

Open

nrfulton opened this issue Jul 22, 2021 · 0 comments

Contributor

nrfulton commented Jul 22, 2021

Maintain the option to specify a local KeYmaera X installation, but use web.keymaerax.org by default to make installation easier.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.