coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Coq: Strong specification of haskell's Replicate function
user_160037900
•
4
2
168
coq-extraction coqide coq haskell
Don't understand `destruct` tactic on hypothesis `~ (exists x : X, ~ P x)` in Coq
user_1572350
•
3
2
111
coq-tactic coq
Can a function argument be scoped automatically in Coq?
user_48206220
•
2
0
56
coq
Using a theorem on integer numbers for proving a theorem on natural numbers
user_109755200
•
2
1
75
coq
How to represent kleisli composition of substitutions in abstract trees
user_86550580
•
2
2
62
coq abstract-syntax-tree
Cannot find a physical path bound to logical path matching suffix <> and prefix Coquelicot
user_157086390
•
1
4
1028
coqide coq
Coq: rewriting under if-then-else
user_75084020
•
4
1
179
rewriting coq-tactic coq
(genralized) rewriting of an equivalent term under constructor?
user_77569750
•
1
1
78
rewriting coq
Use of build-In function in Coq
user_148793380
•
1
1
77
coq
coq auto says simple apply fails but it works manually
user_18755650
•
2
1
67
coq automation
Hot Questions