coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Coq Import problems with power
user_33573520
•
2
1
48
coq
Extracting evidence of finiteness from stream in Coq
user_134984690
•
2
1
48
coq
Coq power operator "^" unfound
user_33573520
•
3
2
238
coq exponential
Basic manipulation of algebraic expressions
user_44539510
•
2
2
52
coq
How does one use the with inspect in Agda?
Admin1
•
4
2
267
coq agda type-inference pattern-matching
Define sets in a way that equality can be proven by extensionality
user_57746610
•
3
1
38
coq
How to use Coq arithmetic solver tactics with SSReflect arithmetic statements
user_25534160
•
2
1
322
ssreflect coq-tactic coq
coq 8.11.0 incompatible with ocaml 4.10?
user_99106920
•
2
1
235
opam coq ocaml
Notation for reflexive transitive closure in Coq
user_50698020
•
2
1
135
coq
Proof by cases on a boolean expression in Coq
user_50698020
•
4
1
324
coq
Hot Questions