Stream: Isabelle/ML

Topic: Detect Mutual Recursion

view this post on Zulip Jonas Stahl (Dec 06 2023 at 11:24):

Hi,
given the name / Const term of a function, is there an easy way to detect if the function defined together with another function mutually calling each other?

Last updated: Mar 14 2026 at 08:38 UTC