coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
OCaml and preprocessor have incompatible versions error when installing tcoq
user_16015800
•
5
1
474
coq-plugin camlp4 coq ocaml
Is it possible to remove/override an existing coercion?
user_22013850
•
7
1
185
coercion coq
Uniqueness of majoration proofs
user_67019180
•
3
2
71
coq
CoqIDE error with exporting modules in the same library
user_51586990
•
4
1
1647
coqide coq
How do inductive proposition work in Coq?
user_16015800
•
5
2
970
coq
Characteristic function of a union
user_67019180
•
2
2
277
coq
Coq tactic to sort a list?
user_105982530
•
3
2
394
coq-tactic coq
Hoare triple notation
user_83710740
•
2
1
211
coq
Generalising a set of proofs in coq
user_20617830
•
2
1
72
theorem-proving coq
Coq: unfold all Definitions
user_49672260
•
4
1
1022
coq-tactic coq definition
Hot Questions