Skip to content

Version 4.3.13
Compare
Choose a tag to compare
@nrfulton nrfulton released this 27 Jul 18:53
· 7439 commits to master since this release
4.3.13
This tag was signed with the committer’s verified signature.
nrfulton Nathan Fulton
GPG key ID: 61EF11E7F74A24A4
Learn about vigilant mode.
c7f489d

Version 4.3.13 of the KeYmaera X theorem prover.

  • New: model editing
  • New: proof step justification with rule/axiom in proof browsing
  • Feature preview: exercise models with placeholders
  • Web UI and backend fixes
Assets 3
Loading