coq Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
57 | All Time | 21.1% 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 × 57type-theory × 23
lo.logic × 16
dependent-type × 13
proof-assistants × 12
calculus-of-constructions × 9
pl.programming-languages × 6
agda × 5
reference-request × 3
computability × 3
proof-theory × 3
automated-theorem-proving × 3
formal-methods × 3
type-systems × 2
interactive-proofs × 2
type-inference × 2
program-verification × 2
set-theory × 2
homotopy-type-theory × 2
normalization × 2
soft-question × 1
planar-graphs × 1
ct.category-theory × 1
application-of-theory × 1
proof-complexity × 1