Simple Webstart Version of KeYmaera
If you want to try a simple version of KeYmaera quickly without having to install it, use the
KeYmaera Webstart (restricted version).
Yet, the webstart version only provides a substantially reduced amount of features.
To get the full verification power, we highly recommend that you download and install KeYmaera on your computer.
Download KeYmaera & Documentation
KeYmaera is distributed under the GNU General Public License.
The full version of KeYmaera with all features and full verification support can be installed on your computer as follows:
Requirements:
|
