type-theory Questions
0 | Last 7 Days | 0% unanswered |
1 | Last 30 Days | 0% unanswered |
201 | All Time | 25.9% unanswered |
Top type-theory Answerers
Top type-theory Askers
Last 30 Days
5 | 1 |
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
type-theory × 201lo.logic × 115
homotopy-type-theory × 50
ct.category-theory × 47
reference-request × 23
foundations × 22
set-theory × 21
lambda-calculus × 19
constructive-mathematics × 17
proof-theory × 13
soft-question × 9
computability-theory × 9
categorical-logic × 9
computer-science × 8
mathematical-philosophy × 8
proof-assistants × 7
new-foundations × 7
homotopy-theory × 6
higher-category-theory × 5
topos-theory × 5
universal-algebra × 5
intuitionism × 5
model-theory × 4
terminology × 4
formal-languages × 4