coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Coq Newbie: How to iterate trough binary-tree in Coq
user_150061600
•
2
1
317
dependent-type coq binary-tree tree recursion
How can I generalise Coq proofs of an iff?
user_59472470
•
2
2
179
coq
How to pattern match exist to transform proofs
Admin1
•
2
3
140
coq-tactic coq recursion pattern-matching
Why do Calculus of Construction based languages use Setoids so much?
user_3960790
•
13
3
1136
lean coq agda
Fine-grained builds with dynamic dependencies?
user_5345510
•
5
2
814
bazel-rules bazel coq
Why are all numeric literals in Coq showing nat type?
Tony_Peterson_261400
•
2
2
117
coq
Definition of equality among vectors
user_106220590
•
2
2
77
coq
Prove equation involving partial derivative analytically with Coq
user_106220590
•
2
0
52
coq
How can I construct terms in first-order logic using Coq?
user_146048600
•
2
1
193
coq first-order-logic
Coq - How can you apply an implication with a match clause?
user_145973000
•
3
1
299
coq-tactic coq
Hot Questions