Stream: General

Topic: Naming the lemmas of a theory

view this post on Zulip Gergely Buday (Sep 14 2023 at 14:26):

is there a way to name the lemmas in a theory? I mean, all the lemmas in one expression to feed it to Sledgehammer.

view this post on Zulip Fabian Huch (Sep 14 2023 at 15:09):

There is the lemmas command.

view this post on Zulip Fabian Huch (Sep 14 2023 at 15:10):

e.g. lemmas myname = a b c

Last updated: May 02 2024 at 04:18 UTC