Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Sledgehammer

Email Gateway (Aug 18 2022 at 10:50):

From: Temesghen Kahsai <lememta@gmail.com>
Hi all,

I installed the latest development snapshot of Isabelle (Isabelle_23-
Sep-2007), but I couldn't find Sledgehammer. Is there a separate file
that I have to install?

Thanks.

-Teme

Last updated: Apr 30 2025 at 08:27 UTC