KeYmaera X License

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.

Third-Party Licenses

This KeYmaera X distribution contains external tools and libraries. We are grateful to their developers.
Name License
{{license.tool}} {{license.license}}