Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Official release 4.6 #273

Closed
mdesharnais opened this issue Sep 22, 2021 · 1 comment
Closed

Official release 4.6 #273

mdesharnais opened this issue Sep 22, 2021 · 1 comment
Assignees
@selig

Comments

@mdesharnais
Copy link

Hi Vampire Team,
the performance of Vampire 4.6 at CASC-28 was impressive and I would like to integrate it into Isabelle/Sledgehammer. I am especially excited about the prospect of enabling higher-order and polymorphic reasoning!

Sadly the latest official release I can find is 4.5.1. Could you please officially release Vampire 4.6?
@selig selig self-assigned this Sep 22, 2021
@quickbeam123
Copy link
Collaborator

Hi Martin,

I just added version 4.6. We hope it will make Isabelle/Sledgehammer even more user-friendly :)

@makarius makarius mentioned this issue Oct 6, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@selig selig

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@mdesharnais @selig @quickbeam123