Skip to content

Version 4.6.1
Compare
Choose a tag to compare
@smitsch smitsch released this 16 Oct 00:31
· 6156 commits to master since this release
4.6.1
This tag was signed with the committer’s verified signature.
LSLabBuild
GPG key ID: 9C461005FDEDB15E
Learn about vigilant mode.
ce21686
  • [Parser] Improved stability and error reporting
  • [Tactics] Preview: modular component-based proofs
Assets 3
Loading