Stream: Beginner Questions

Topic: Detect duplicate assumptions

view this post on Zulip Hanno Becker (Feb 18 2023 at 14:01):

Hi! Are there helper functions for detecting duplicate assumptions? I'd like to apply frule repeatedly to saturate the set of assumptions w.r.t. some known derivations, but have to avoid an infinite loop. Thank you!

Last updated: Dec 28 2025 at 12:45 UTC