Skip to content

Version 4.9.5
Compare
Choose a tag to compare
@smitsch smitsch released this 02 Sep 17:38
· 1620 commits to master since this release
4.9.5
This tag was signed with the committer’s verified signature.
LSLabBuild
GPG key ID: 9C461005FDEDB15E
Learn about vigilant mode.
56fe5f5

Version 4.9.5 provides improved interaction between tactics editing and sequent view.

  • UI: selected tab gets highlighted in tactic editor, cursor position switches tabs
  • UI: proof state displayed below tactic editor according to cursor position
  • UI: formula icons ("eye") to configure positive-mention "using" by mouse
  • UI: fast manual QE/CEX exploration with temporary formula hiding ("eye")
  • Tactics: differential cut for constant quantities, e.g., dC("x^2+y^2=const()", 1)
  • Docker container with KeYmaera X server
Assets 3
Loading