KeYmaera X version {{keymaeraXVersion}}, Copyright (C) Carnegie Mellon University
2014-2019 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.
BY CLICKING THE I Agree BUTTON OR BY USING THE SOFTWARE, YOU ARE AGREEING TO THE TERMS OF THIS LICENSE AGREEMENT. IF YOU DO NOT AGREE WITH THESE TERMS, YOU MUST CLICK Reject AND YOU MAY NOT USE OR DOWNLOAD THE SOFTWARE.