Stream: Beginner Questions

Topic: Debug infinite loop in simplifier

view this post on Zulip Hanno Becker (Feb 17 2023 at 12:29):

Hi! I'm observing clarsimp spinning indefinitely in one proof step (simp is fine) and wonder how I could debug what's going on. Any suggestions?

Last updated: Jun 26 2026 at 21:20 UTC