There is a newer version of the record available.

Published July 28, 2017 | Version 4.3.14
Software Open

LS-Lab/KeYmaeraX-release: Version 4.3.14

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.14 of the KeYmaera X theorem prover.

  • Fix: ODE solve tactic printing

Files

LS-Lab/KeYmaeraX-release-4.3.14.zip

Files (69.8 MB)

Name Size Download all
md5:dc3a4e8081dbf48a7ebce0a3caf2d861
69.8 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/LS-Lab/KeYmaeraX-release/tree/4.3.14 (URL)