vsrl-framework icon indicating copy to clipboard operation
vsrl-framework copied to clipboard
verified publisher icon IBM

Make web.keymaerax.org the default tool

Open nrfulton opened this issue 4 years ago • 0 comments

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

nrfulton avatar Jul 22 '21 16:07 nrfulton