Skip to content

PSL and all that for Isabelle2023
Compare
Choose a tag to compare
@yutakang yutakang released this 12 Sep 23:01
· 52 commits to master since this release
v0.2.6-alpha
58d9b6b
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

We have updated PSL and all that for Isabelle2023.

The previous versions of Isabelle are no longer supported.

Assets 2
Loading