coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to formalize the termination of a term reduction relation in Coq?
user_64229320
•
3
1
110
coq
How to extract the second element of Sigma on the Calculus of Constructions?
user_10317910
•
9
0
345
idris coq agda functional-programming haskell
Idiomatically expressing "The Following Are Equivalent" in Coq
user_10561740
•
6
1
295
coq
How to install SSReflect and MathComp in Linux?
user_37742970
•
10
2
1950
ssreflect coq linux
Defining a finite automata Coq
user_79365430
•
3
1
566
coq language-theory finite-automata
Coq functional extensionality
user_3042840
•
3
1
1230
coq
coq: elimination of forall quantifier
user_60622030
•
4
2
1284
coq-tactic coq
Proving the Continuation Passing Style Monad in Coq
user_3042840
•
3
1
341
continuation-passing coq monads
Coq: adding a "strong induction" tactic
user_6131730
•
8
1
2402
coq
Coq - Induction over functions without losing information
user_29632380
•
4
1
483
induction coq
Hot Questions