Skip to content

Version 4.3.6
Compare
Choose a tag to compare
@nrfulton nrfulton released this 10 Mar 01:39
· 7938 commits to master since this release
4.3.6
This tag was signed with the committer’s verified signature.
nrfulton Nathan Fulton
GPG key ID: 61EF11E7F74A24A4
Learn about vigilant mode.
df47038

Version 4.3.6 of the KeYmaera X theorem prover.

NOTICE: This update may require you to delete your lemma cache. You can do so by deleting the $HOME/.keymaerax/cache directory on your machine.

Change log:

  • Stability improvements for the Foundations of CPS course at Carnegie Mellon.
  • Updates to the prover's concrete syntax for function symbols.
Assets 3
Loading