Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [isabelle-dev] ATP Vampire via internet / vamp...

view this post on Zulip Email Gateway (Aug 18 2022 at 12:20):

From: Tobias Nipkow <nipkow@in.tum.de>
This could be interesting not just for developers.

Tobias
vampire
file:///tmp/nsmail-2.txt%20curry

Last updated: Mar 07 2026 at 12:53 UTC