There is a newer version of the record available.

Published April 27, 2017 | Version 4.3.9
Software Open

LS-Lab/KeYmaeraX-release: Version 4.3.9

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.9 of the KeYmaera X Theorem Prover.

  • New: Tactic input validation to prevent impossible proof attempts
  • New: function and predicate definitions in .kyx model file functions block
  • Performance improvements in user interface
  • Early preview: model syntax highlighting

Files

LS-Lab/KeYmaeraX-release-4.3.9.zip

Files (69.7 MB)

Name Size Download all
md5:c98dcc1f9aa0f1dfc0f3f1bce8239712
69.7 MB Preview Download

Additional details

Related works

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