Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Command-line TPTP tools not working?

view this post on Zulip Email Gateway (Aug 22 2022 at 10:58):

From: Lars Hupel <hupel@in.tum.de>
Hi Max,

try building the logic "HOL-TPTP" first:

$ isabelle build -bv HOL-TPTP

Cheers
Lars

view this post on Zulip Email Gateway (Aug 22 2022 at 11:00):

From: Maximilian Claus <maximilian@zedat.fu-berlin.de>
Thank you, that did the trick!

Max

Last updated: Apr 24 2024 at 08:20 UTC