Published August 9, 2017
| Version 4.3.15
Software
Open
LS-Lab/KeYmaeraX-release: Version 4.3.15
Authors/Creators
- 1. Karlsruhe Institute of Technology
- 2. Worcester Polytechnic Institute
- 3. Carnegie Mellon University
- 4. Carnegie Mellon
- 5. SnT University of Luxembourg
- 6. University of Edinburgh
Description
Version 4.3.15 of the KeYmaera X theorem prover
- UI: Improvements to presentation and /show mode
- UI: Render nullary function symbols without parentheses
- Updates Z3 to 4.5.0, improved QE support for machines without Mathematica.
- Improved update code for Windows.
Files
LS-Lab/KeYmaeraX-release-4.3.15.zip
Files
(73.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:55cd094bc3a7e809b72b6106ed532321
|
73.0 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/LS-Lab/KeYmaeraX-release/tree/4.3.15 (URL)