Published July 27, 2017
| Version 4.3.13
Software
Open
LS-Lab/KeYmaeraX-release: Version 4.3.13
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.13 of the KeYmaera X theorem prover.
- New: model editing
- New: proof step justification with rule/axiom in proof browsing
- Feature preview: exercise models with placeholders
- Web UI and backend fixes
Files
LS-Lab/KeYmaeraX-release-4.3.13.zip
Files
(69.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:2bd21aefc09e39f21563c12254ca81fa
|
69.8 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/LS-Lab/KeYmaeraX-release/tree/4.3.13 (URL)