Skip to content

Version 4.3.9
Compare
Choose a tag to compare
@nrfulton nrfulton released this 27 Apr 15:57
· 7776 commits to master since this release
4.3.9
This tag was signed with the committer’s verified signature.
nrfulton Nathan Fulton
GPG key ID: 61EF11E7F74A24A4
Learn about vigilant mode.
7464edc

Version 4.3.9 of the KeYmaera X Theorem Prover.

  • New: Tactic input validation to prevent impossible proof attempts
  • New: function and predicate definitions in .kyx model file functions block
  • Performance improvements in user interface
  • Early preview: model syntax highlighting
Assets 3
Loading