Published July 20, 2017
| Version 4.3.12
Software
Open
LS-Lab/KeYmaeraX-release: Version 4.3.12
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.12 of the KeYmaera X theorem prover
- New: step-by-step proof browsing
- New: tactic tooltips on proof step in sequent proofs
- Improved proof step highlighting
- User interface and backend stability improvements
Files
LS-Lab/KeYmaeraX-release-4.3.12.zip
Files
(69.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:7e0acc07673833f71f87b2945ebe51ab
|
69.8 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/LS-Lab/KeYmaeraX-release/tree/4.3.12 (URL)