Skip to content

Version 4.9.3
Compare
Choose a tag to compare
@smitsch smitsch released this 25 Jan 20:31
· 2088 commits to master since this release
4.9.3
This tag was signed with the committer’s verified signature.
LSLabBuild
GPG key ID: 9C461005FDEDB15E
Learn about vigilant mode.
b6716ba

Version 4.9.3 provides a substantially updated ModelPlex UI and core/parser updates.

  • [ModelPlex] Web UI for ModelPlex process, artifacts, code export, and proofs
  • [Core] Barcan axiom to commute quantifiers with program postconditions
  • [Parser] vectorial taboos in systems/programs/functionals/predicationals
  • [UI] Lemma UI bug fixes
Assets 3
Loading