coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Evaluate constant inequation in Coq
user_133374220
•
2
2
54
coq
Case analysis on max - ssreflect
user_148750270
•
1
1
43
ssreflect coq
How to improve this proof?
user_60737990
•
2
1
57
coq
Coq - Assign expression to variable
user_36136570
•
3
2
41
coq
User defined language in pandoc code-block
user_33573520
•
1
3
175
pandoc coq markdown
How do I show that if a hypothesis implies not, it's the same as saying the proposition equals false (coq)?
user_191229830
•
1
1
41
coq-tactic coq proof functional-programming
Coq make failing on Omega
user_23946340
•
1
1
68
coq
Fail to prove a permutation property
user_57001980
•
1
2
58
coq
Why coq doesn't use subtyping for logical or?
user_99066940
•
1
1
46
type-theory subtyping coq
How can I "specialize" a polymorphic type in Coq?
user_12434450
•
1
1
39
coq
Hot Questions