I have triangle and three ones are placed at its vertexes.I want to formally write all three ones are linked with each other.Union or and between them will be useful?
Hi Sara! We need more details to help you out. What do you mean by "I have a triangle with ones at its vertexes" ? Are you trying to formalize a pen&paper proof in Coq ?
Yes.I want to keep the vertexes detail in list . I have two more lists of vertexes. To check the contents of two lists and to verify it is equal to the first list. I should perform list equality or check that two lists are subset of first one?
Last updated: Feb 01 2023 at 12:30 UTC