Skip to content

Update to Isabelle2024
Compare
Choose a tag to compare
@yutakang yutakang released this 25 Jun 15:42
· 8 commits to master since this release
v0.2.8-alpha
228003e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Update to Isabelle2024

This repository has been updated to Isabelle2024. However, we have received reports that the integration of Sledgehammer with this repository is now less stable under Isabelle2024. Therefore, although we have confirmed that the Abduction Prover works in some cases, its performance may currently be suboptimal. We are working to resolve this issue as quickly as possible. 🙇

For users seeking the best performance, we recommend using Isabelle2023 and this version of the Abduction Prover (v0.2.7-alpha), which was developed specifically for Isabelle2023."

Assets 2
Loading