Published July 1, 2024 | Version 5.1.1
Software Open

LS-Lab/KeYmaeraX-release: Version 5.1.1

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

Fixed KeYmaera X not displaying that an update is available

Files

LS-Lab/KeYmaeraX-release-5.1.1.zip

Files (53.8 MB)

Name Size Download all
md5:646ed5d6eeda8511ac407dd0d3774e75
53.8 MB Preview Download

Additional details

Related works

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