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
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 |