KeYmaera X License

KeYmaera X version {{keymaeraXVersion}}, Copyright (C) Carnegie Mellon University
2014-2016 Andre Platzer, Stefan Mitsch, Nathan Fulton, Jan-David Quesel, Brandon Bohrer, Marcus Voelp, Ran Ji.
KeYmaera X comes with ABSOLUTELY NO WARRANTY. A full software license agreement follows.
SOFTWARE LICENSE AGREEMENT

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.