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 28 2024 at 16:17 UTC