coq Questions
3 | Last 7 Days | 33.3% unanswered |
9 | Last 30 Days | 44.4% unanswered |
223 | All Time | 18.4% unanswered |
Top coq Answerers
Top coq Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
coq × 223beginner × 23
tactic × 15
equality × 11
dependent-type × 10
inductive-type × 10
induction × 10
lean × 9
proof-assistant × 8
coq-mathcomp × 8
coinductive-type × 7
proof-review × 7
agda × 6
installation × 5
usage × 5
type-theory × 5
coq-ssreflect × 5
universe × 5
natural-numbers × 5
calculus-of-inductive-constructions × 4
module × 4
rewriting × 4
unification × 4
reference-request × 3
set-theory × 3