Skip to content

Version 4.3.8
Compare
Choose a tag to compare
@nrfulton nrfulton released this 18 Apr 16:24
· 7817 commits to master since this release
4.3.8
This tag was signed with the committer’s verified signature.
nrfulton Nathan Fulton
GPG key ID: 61EF11E7F74A24A4
Learn about vigilant mode.
51f4d80

Version 4.3.8 of the KeYmaera X theorem prover. Changes:

  • Performance improvements
  • Improved support for game proofs (<*> diamond convergence)

This release requires manual steps by the user to convert data from databases
created by 4.3.7 or older.

Assets 3
Loading