Stream: Beginner Questions

Topic: Purple highlight in the proof

view this post on Zulip Kubra (Oct 27 2022 at 20:21):

Hello,

I am wondering why Isabelle shows purple highlight even if a lemma seems to be proved ? What are the possible ways to get rid of this highlight?

Thanks!

view this post on Zulip Mathias Fleury (Oct 28 2022 at 04:17):

https://isabelle.zulipchat.com/#narrow/stream/238552-Beginner-Questions/topic/Proof.20method.20in.20purple/near/223358824

view this post on Zulip Mathias Fleury (Oct 28 2022 at 04:21):

Or https://stackoverflow.com/questions/62350350/are-purple-colored-isabelle-proofs-valid

view this post on Zulip Kubra (Oct 31 2022 at 01:25):

Thanks! I see that it is needed to find necessary lemmas to complete the proof. Sometimes, it is not easy to see which lemma is needed. Is there any methods or ways for this?

Last updated: Mar 09 2025 at 12:28 UTC