coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How do I exit coqtop REPL?
user_166231260
•
1
2
42
coq
setoid_rewrite failed with MathClasses Coq
user_133374220
•
1
1
61
coq
I'm trying to build a proof in Coq that two different permutation definitions are equivalent, but the non-inductive side is not working
user_198878590
•
2
1
64
induction coq permutation proof logic
How does one automatically make a `COQ_PROJ.opam` install script automatically from a Coq Project/Package?
user_16015800
•
6
0
133
opam coq
Coq: Simpl in match pattern when having an inequality hypothesis
user_195740160
•
1
1
69
coq proof match inequality
Coq: rewriting under a pointwise_relation
user_75084020
•
1
1
34
rewriting coq
How does one compute/create a concrete/actual string in coq to pass to functions or store in a variable/identifier?
user_16015800
•
1
3
39
coq
Coq: Implementation of splitstring and proof that nothing gets deleted
user_195740160
•
1
2
55
induction coq proof
Understanding how pattern matching works in Coq
user_168861350
•
1
2
66
coq pattern-matching
How does one access the dependent type unification algorithm from Coq's internals -- especially the one from apply and the substitution solution?
user_16015800
•
2
1
253
unification coq
Hot Questions