Skip to content

Version 4.4.2
Compare
Choose a tag to compare
@smitsch smitsch released this 28 Feb 15:37
· 6795 commits to master since this release
4.4.2
This tag was signed with the committer’s verified signature.
LSLabBuild
GPG key ID: 9C461005FDEDB15E
Learn about vigilant mode.
3aa7574
  • [UI] New web UI axiom and proof step browser
  • [UI] Hint display and tactic popover fixes
  • [Performance] Significant performance improvements by disabling logging by default
  • [Tactics] New loop induction with abstraction
    • throughout(inv,pos) for loops init -> [{a;b}*]safe
      proves loop from subgoals
      base case: init -> inv
      use case: inv -> safe
      induction steps: inv -> [a]inv and inv -> [b]inv
Assets 3
Loading