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

Third-Party Licenses

This KeYmaera X distribution contains external tools and libraries. We are grateful to their developers.
Name License
AngularJS MIT
angular.treeview MIT
angular-dragdrop MIT
angular-ui-tree MIT
Bootstrap MIT
Jasny Bootstrap Apache v2.0
D3.js BSD 3-Clause
es5-shim MIT
Font Awesome SIL OFL 1.1 and MIT
jQuery MIT
jsTree MIT
MathJax Apache v2.0
ngDialog MIT
RequireJS BSD 3-Clause or MIT
Scala BSD 3-Clause
ScalaTest Apache v2.0
Pegdown Apache v2.0
ScalaMock text
Casbah Apache v2.0
Slick Text (BSD-like)
ScalaQuery Text (BSD-like)
SQLite JDBC Apache v2.0
Spray Apache v2.0
JSON Schema Validator Dual: LGPL v3.0 or Apache v2.0
Akka Apache v2.0
Z3 MIT
Polya Apache v2.0