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: Jun 21 2025 at 01:46 UTC