Skip to content

Stable Release of KeYmaera X 4.2.2
Compare
Choose a tag to compare
@smitsch smitsch released this 28 Sep 14:55
· 8988 commits to master since this release
4.2.2
This tag was signed with the committer’s verified signature.
smitsch Stefan Mitsch
GPG key ID: 8ADEB6C9C386BE24
Learn about vigilant mode.
ebbd568
  • Extraction and execution of tactics with input
  • Web user interface improvements
  • Tactic and lemma download on finished proof
Assets 3
Loading