Stream: Beginner Questions

Topic: Finding theorems

view this post on Zulip Gergely Buday (Mar 27 2023 at 15:50):

Where can I find (pun intended) a grammar of the patterns used in the Query window of Isabelle/jEdit, or, what seems to be the same, in the find_theorems Isar command?

view this post on Zulip Lukas Stevens (Mar 27 2023 at 16:05):

You can look at the implementation of the find_theorems command

Last updated: Jun 06 2026 at 17:17 UTC