coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Functions from empty set in Coq
user_145722830
•
2
1
124
coq
Equality on complex functions
user_106220590
•
2
1
63
coq
Equality on type which is not inductive type
user_106220590
•
3
1
77
coq
If two constructor expressions of an inductive type are equal in Coq, can I do rewriting based on their corresponding arguments?
user_143634230
•
2
1
214
coq-tactic coq formal-verification proof
Partial differentiation using Coqelicot on Coq
user_106220590
•
2
1
104
differentiation coq
How do you lookup the definition or implementation of Coq proof tactics?
user_1699920
•
2
2
181
coq proof math
trivial theorem about my inductive type on Coq
user_106220590
•
2
2
155
coq
Coq: induction principles for void, unit and bool from nat and fin
user_5152760
•
4
1
141
coq
Does lean enhance proof surveyability?
user_50698020
•
2
1
216
smt lean isabelle z3 coq
string comparison in ssreflect
user_99106920
•
3
1
86
ssreflect coq
Hot Questions