KeYmaera X version {{keymaeraXVersion}}, Copyright (C) Carnegie Mellon University
2014-2017 Andre Platzer, Stefan Mitsch, Nathan Fulton, Brandon Bohrer, Jan-David Quesel, Yong Kiam Tan, Marcus Voelp, Ran Ji.
KeYmaera X comes with ABSOLUTELY NO WARRANTY. A full software license agreement follows.
SOFTWARE LICENSE AGREEMENT
If you want to use KeYmaera X under another license, contact the Center for Technology Transfer and Enterprise Creation.
Name | License |
---|---|
{{license.tool}} | {{license.license}} |