coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Recursive use of typeclass methods in Coq
user_100339930
•
5
2
236
coq typeclass
Why does Coq.Init.Logic define the notation "A -> B"?
user_103386840
•
7
1
166
coq
Why we cannot pattern match on Set/Type in Coq/Agda/Idris？
user_16082760
•
6
1
524
idris coq agda
Solve Proof with Circular Symmetry in Coq
user_70825790
•
3
1
52
induction coq
Proof that two isomorphic types are different
user_67019180
•
3
1
72
coq
Cardinality of Prop, Set and Type_i in Coq
user_67019180
•
4
1
354
cardinality coq
Is it possible to force induction tactic to produce more equations?
user_28741550
•
6
1
163
coq
Rewrite hypothesis in Coq, keeping implication
user_17579640
•
2
3
1663
coq-tactic coq
How to check equality of pairs
user_24473580
•
2
1
328
coq
Specialize `Map` typeclass into `PartialMap` typeclass
user_10561740
•
2
1
42
coq typeclass
Hot Questions