coq Questions
2 | Last 7 Days | 50% unanswered |
10 | Last 30 Days | 60% unanswered |
56 | All Time | 14.3% unanswered |
Top coq Answerers
Top coq Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
coq × 56beginner × 10
tactic × 7
coq-mathcomp × 5
proof-review × 4
coq-ssreflect × 4
lean × 3
agda × 3
dependent-type × 3
equality × 3
coq-unimath × 3
type-theory × 2
software-request × 2
coinductive-type × 2
calculus-of-inductive-constructions × 2
axiom-of-choice × 2
module × 2
unification × 2
foundations × 1
history × 1
inductive-type × 1
constructive × 1
induction × 1
arithmetic × 1
soft-question × 1