coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How does decidable equality works with List.remove?
user_8239550
•
4
2
685
coq
how to figure out what "=" means in different types in coq
user_8090340
•
2
1
103
coq
Get the list of extracted files when using Recursive Extraction Library
user_51539390
•
3
1
54
coq
coq induction with passing in equality
user_26289740
•
4
3
503
induction coq
What is difference between `destruct` and `case_eq` tactics in Coq?
user_83068960
•
6
1
2206
coq
Prove existential quantifier using Coq
user_10789290
•
3
2
2394
coq
How does elim work in Coq on /\ and \/?
user_86631510
•
3
1
1065
coq-tactic coq
Is there a more elegant way to write the following Coq code?
user_83068960
•
3
2
166
coq
Why can't Coq figure out symmetry of the equality by itself?
user_59831870
•
3
1
745
coq-tactic formal-methods coq formal-verification formal-languages
How can I split a list in half in coq?
user_30400640
•
3
3
466
coq
Hot Questions