coq-tactic

50 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Coq: unfold all Definitions
user_49672260
•
4
1
1022
coq-tactic coq definition
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
Rewrite hypothesis in Coq, keeping implication
user_17579640
•
2
3
1663
coq-tactic coq
Tactic automation: simple decision procedure
user_10561740
•
3
3
77
coq-tactic coq
How does elim work in Coq on /\ and \/?
user_86631510
•
3
1
1065
coq-tactic coq
Why can't Coq figure out symmetry of the equality by itself?
user_59831870
•
3
1
745
coq-tactic formal-methods coq formal-verification formal-languages
Simplifying Subformulas in Coq
user_83033270
•
5
1
383
coq-tactic coq
Establish isomorphism between finite natural numbers and sigma
user_84159170
•
3
3
191
coq-tactic coq
Hot Questions