COPYRIGHT.txt

KeYmaera X
Copyright (C) 2014-2019 Carnegie Mellon University 
Developed by Andre Platzer, Stefan Mitsch, Nathan Fulton, Brandon Bohrer,
Jan-David Quesel, Yong Kiam Tan, Andrew Sogokon, Fabian Immler, Marcus Voelp, Ran Ji.

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License along
with this program; if not, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.

Contact Information

Electronic Mail: 
  keymaerax@keymaerax.org

Paper Mail:
  Andre Platzer
  Computer Science Department
  Carnegie Mellon University
  5000 Forbes Ave.
  Pittsburgh, PA 15213
  USA