coq Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
62 | All Time | 19.4% unanswered |
Top coq Answerers
Last 30 Days
Top coq Askers
Last 30 Days
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
coq × 62type-theory × 23
lo.logic × 16
dependent-type × 15
proof-assistants × 12
calculus-of-constructions × 10
pl.programming-languages × 6
agda × 6
formal-methods × 4
reference-request × 3
computability × 3
interactive-proofs × 3
proof-theory × 3
automated-theorem-proving × 3
type-systems × 2
type-inference × 2
program-verification × 2
set-theory × 2
homotopy-type-theory × 2
constructive-mathematics × 2
normalization × 2
fl.formal-languages × 1
soft-question × 1
planar-graphs × 1
ct.category-theory × 1