coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why does this Coq Definition fail? Coq Namespace error for Inductive Type
user_51669300
•
2
1
65
coq
Problem with Dependent pattern matching in COQ
user_115141570
•
2
2
84
coq
Coq: goal is just a type (when using theorems with unnecessary arguments)
user_50367220
•
1
2
61
coq-tactic coq arguments
Coq: Cannot infer an internal placeholder of type "nat" in environment: ev : nat -> Prop
user_56880820
•
1
1
71
coq
Coq - Rewriting a FMap Within a Relation
user_68244300
•
1
2
55
coq proof programming-languages
Coq - Obtaining equality from match statement
user_50367220
•
2
1
89
coq casting types
Problem with Ocaml and make: "Error: the file ____.cmxa is not a compilation unit description"
user_178270610
•
2
1
152
coq ocaml
Coq: trying to use dependent induction
user_3431230
•
4
1
98
dependent-type coq
Why Coq does not infer the type parameter
user_24486670
•
1
1
55
coq
Relations with dependent types in Coq
user_109770610
•
2
1
50
dependent-type coq
Hot Questions