README
December 15, 2014 ยท View on GitHub
KeYmaera Project - A HYBRID THEOREM PROVER FOR HYBRID SYSTEMS Copyright (C) 2007-2014 University of Oldenburg, Germany and Carnegie Mellon University, USA
The KeYmaera system is protected by the GNU General Public License.
KeYmaera is based on the KeY project - Integrated Deductive Software Design Copyright (C) 2001-2009 Universitaet Karlsruhe, Germany Universitaet Koblenz-Landau, Germany and Chalmers University of Technology, Sweden
The KeY system is protected by the GNU General Public License. See LICENSE.TXT for details.
system contains sources of all software.
examples contains some programming examples to illustrate use of various packages.
LICENSE.TXT information on how KeY is protected
README.install installation information