Skip to content

Version 4.3.10
Compare
Choose a tag to compare
@nrfulton nrfulton released this 24 May 21:37
· 7664 commits to master since this release
4.3.10
This tag was signed with the committer’s verified signature.
nrfulton Nathan Fulton
GPG key ID: 61EF11E7F74A24A4
Learn about vigilant mode.
5dd38f2

Version 4.3.10 of the KeYmaera X theorem prover. Changes:

  • Bug fixes to model import.
  • Mathematica/QE: Use TCP-based link to Mathematica instead of MathLink.
  • Mathematica/QE: Improved QE logging
  • Improvements to diamond ODE solver.
  • GUI: equality rewriting is now displayed in context menu and available as default left-click operation on equalities.
  • GUI: dL and Bellerophon syntax hi-lighting.
  • GUI: Proof hints on how to proceed.
Assets 3
Loading