coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Adding an old version of Ocaml to Opam
user_73465910
•
2
1
136
opam coq switch-statement ocaml package
Symbolic manipulation of terms in Coq
user_44539510
•
1
1
38
coq
Proof by contradiction in Coq
user_188837690
•
2
2
205
type-theory coq
Coq Qed raise a warning with admitted lemmas
user_88321330
•
1
0
41
coq-tactic coq
How to dependent match on a list with two elements?
user_6525280
•
1
1
49
coq
Importing HoTT library in Coq
user_188359260
•
2
0
51
homotopy-type-theory coq
rewriting hypothesis to false with a contradictory theorem
user_148750270
•
3
2
56
ssreflect coq
How to get a better proof style in Coq?
user_60737990
•
3
1
81
coq
Using tuples when constructing inductive types
user_122886370
•
1
1
39
coq
Using the commutativity of the AND operator in Coq
user_60737990
•
1
2
85
coq
Hot Questions