Published July 3, 2025
| Version 5.1.2
Software
Open
LS-Lab/KeYmaeraX-release: Version 5.1.2
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
Fix tool path autodetection for Mathematica 14.1+ Fix error when proving the same lemma multiple times using the CLI
Files
LS-Lab/KeYmaeraX-release-5.1.2.zip
Files
(53.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:fd1ab00eb21df729efe278a7877fbb22
|
53.8 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/LS-Lab/KeYmaeraX-release/tree/5.1.2 (URL)
Software
- Repository URL
- https://github.com/LS-Lab/KeYmaeraX-release