coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Unable to split a conjunction in Hypothesis
user_171361240
•
3
1
77
coq formal-languages
Coq: a vicious circle with two identical subgoals
user_45963270
•
2
2
78
propositional-calculus coq
Difference between parameters and members of a class
user_171361240
•
4
2
87
dependent-type coq record typeclass
Controlling unification order in Coq
user_62097030
•
3
0
73
coq
Good way of testing a class in Coq
user_171361240
•
2
1
91
coq
Certified calculations in a proof assistant
user_174199090
•
2
3
190
theorem-proving hol isabelle proof-of-correctness coq
Coq seemingly refuses to recognize a simple substitution of a propositional formula for a propositional variable?
user_45963270
•
1
1
76
coq-tactic coq substitution
How to replace a term with some property of the term?
user_122886370
•
1
1
86
coq-tactic coq
Is it possible to declare type-dependent Notation in Coq?
user_151657380
•
2
1
80
coq notation overloading
Coq: How to prove that forall n m, n <= m \/ m <= n
user_173795320
•
1
2
123
coq
Hot Questions