coq

305 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why does Coquelicot mess with my bullets?
user_39659490
•
4
1
63
coq
Frama-C 23 and Coq
user_164086060
•
1
1
165
why3 frama-c coq macos
Can any additional axiom make Coq Turing complete?
user_35844990
•
3
1
177
type-theory totality coq termination turing-complete
Coq datatype - pair of pair with bracket
user_146386540
•
2
1
99
coqide coq functional-programming types
Can I safely assume that isomorphic types are equal?
user_37809310
•
4
1
210
theorem-proving dependent-type coq agda proof
How does one print the entire contents of a proof object or Gallina terms in Coq?
user_16015800
•
2
0
196
coq
proof of adding 1 to some number changes the parity in Coq
user_136331400
•
2
2
59
coq
What is a concrete example of the type `Set` and what is the meaning of `Set`?
user_16015800
•
3
1
144
coq
How to write a 'safe' head in coq?
user_7542540
•
2
2
96
dependent-type coq proof
Coq: Proof of list pair
user_160037900
•
2
1
118
coqide coq
Hot Questions