coq Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
62 | All Time | 17.7% 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 × 15
logic × 12
proof-assistants × 10
dependent-types × 9
proof-techniques × 8
automated-theorem-proving × 6
type-checking × 5
inductive-datatypes × 5
programming-languages × 4
induction × 4
calculus-of-constructions × 4
isabelle × 4
lambda-calculus × 3
coinduction × 3
reference-request × 2
semantics × 2
mathematical-programming × 2
curry-howard × 2
automata × 1
finite-automata × 1
recursion × 1
probability-theory × 1
computation-models × 1
halting-problem × 1