Skip to content

Version 4.3.12
Compare
Choose a tag to compare
@nrfulton nrfulton released this 20 Jul 17:45
· 6955 commits to master since this release
4.3.12
This tag was signed with the committer’s verified signature.
nrfulton Nathan Fulton
GPG key ID: 61EF11E7F74A24A4
Learn about vigilant mode.
5b07a8f

Version 4.3.12 of the KeYmaera X theorem prover

  • New: step-by-step proof browsing
  • New: tactic tooltips on proof step in sequent proofs
  • Improved proof step highlighting
  • User interface and backend stability improvements
Assets 3