dependent-types Questions
0 | Last 7 Days | 0% unanswered |
1 | Last 30 Days | 100% unanswered |
97 | All Time | 16.5% unanswered |
Top dependent-types Answerers
Last 30 Days
Top dependent-types Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
dependent-types × 97type-theory × 71
functional-programming × 11
homotopy-type-theory × 11
lambda-calculus × 10
programming-languages × 9
type-checking × 9
coq × 9
inductive-datatypes × 9
reference-request × 7
type-inference × 5
equality × 5
proof-assistants × 4
calculus-of-constructions × 4
agda × 4
computability × 3
terminology × 3
undecidability × 3
induction × 2
category-theory × 2
hoare-logic × 2
typing × 2
curry-howard × 2
cubical-type-theory × 2
higher-order-logic × 2