Published March 10, 2017
| Version 4.3.6
Software
Open
LS-Lab/KeYmaeraX-release: Version 4.3.6
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.6 of the KeYmaera X theorem prover.
NOTICE: This update may require you to delete your lemma cache. You can do so by deleting the $HOME/.keymaerax/cache directory on your machine.
Change log:
- Stability improvements for the Foundations of CPS course at Carnegie Mellon.
- Updates to the prover's concrete syntax for function symbols.
Files
LS-Lab/KeYmaeraX-release-4.3.6.zip
Files
(69.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:76ec9575d34e313aef6a96fcbc3342ab
|
69.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/LS-Lab/KeYmaeraX-release/tree/4.3.6 (URL)