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