Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Sep 9, 2013
This video is part of a tutorial series for the Theorem Prover KeYmaera. http://symbolaris.com/info/KeYmaera.html ____________________________________________________ In this video, we show you how to open the webstart version of the KeYmaera Theorem Prover for hybrid systems.
You can open the keymaera webstart from a terminal using the javaws command, followed by a direct link to the keymaera jnlp file: