coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How can I give an alias to a type in coq
user_53488750
•
5
1
613
coq alias typedef
Coq forward reasoning: apply with multiple hypotheses
user_941020
•
3
1
988
ltac coq
Set theory notation with whitespaces and curly braces in Coq
user_49447140
•
3
1
255
coq
Development of the Coq library. (Add LoadPath solution is not good enough.)
user_49447140
•
3
1
529
coqide coq
Using the same proof for two subgoals in Coq
user_105902500
•
4
1
203
coq
Defining equality relation for infinite trees
user_72645030
•
3
3
138
coinduction coq
Modus Ponens and Modus Tollens in Coq
user_98273020
•
4
1
746
ltac coq-tactic coq
Disjunctive Syllogism tactic in Coq?
user_98273020
•
4
2
247
coq-tactic coq
Definitional vs propositional equality in Coq lemma statements
user_539740
•
8
0
259
coq-tactic coq
How to prove the inductive step in coq?
user_4543220
•
2
2
158
induction coq
Hot Questions