There is a newer version of the record available.

Published October 16, 2018 | Version 4.6.1
Software Open

LS-Lab/KeYmaeraX-release: Version 4.6.1

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

  • [Parser] Improved stability and error reporting
  • [Tactics] Preview: modular component-based proofs

Files

LS-Lab/KeYmaeraX-release-4.6.1.zip

Files (72.1 MB)

Name Size Download all
md5:8acb4ecbae66d11c0fcca922ab60bfa8
72.1 MB Preview Download

Additional details

Related works

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