LS-Lab/KeYmaeraX-release: Version 5.1.1

  • Stefan Mitsch (Creator)
  • André Platzer (Creator)
  • Nathan Fulton (Creator)
  • Rose Bohrer (Creator)
  • Yong Kiam (Creator)
  • Fabian Immler (Creator)
  • Jan-David Quesel (Creator)
  • Ran Ji (Creator)
  • James Gallicchio (Creator)
  • Marcus Völp (Creator)
  • Enguerrand Prebet (Creator)
  • Andrew Sogokon (Creator)
  • LSLabBuild (Creator)
  • Tobias Erthal (Creator)
  • Aditi Kabra (Creator)
  • Katherine Kosaian (Creator)
  • Jonathan Laurent (Creator)

Dataset

Description

Fixed KeYmaera X not displaying that an update is available

Data Citation

Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, & Jonathan Laurent. (2024). LS-Lab/KeYmaeraX-release: Version 5.1.1 (5.1.1). Zenodo. https://doi.org/10.5281/zenodo.13380145
Date made available1 Jul 2024
PublisherZenodo

Access Dataset

Cite this