dependent-type Questions
0 | Last 7 Days | 0% unanswered |
1 | Last 30 Days | 0% unanswered |
120 | All Time | 18.3% unanswered |
Top dependent-type Answerers
Last 30 Days
9 | 1 |
Top dependent-type Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
dependent-type × 120type-theory × 92
pl.programming-languages × 20
lo.logic × 19
typed-lambda-calculus × 15
lambda-calculus × 14
type-systems × 14
coq × 13
calculus-of-constructions × 12
reference-request × 11
agda × 9
proof-assistants × 6
homotopy-type-theory × 6
ct.category-theory × 5
type-inference × 5
functional-programming × 4
normalization × 4
inductive-type × 3
automated-theorem-proving × 2
program-verification × 2
monad × 2
model-theory × 2
curry-howard × 2
fixed-points × 2
co.combinatorics × 1