homotopy-type-theory Questions
0 | Last 7 Days | 0% unanswered |
1 | Last 30 Days | 0% unanswered |
18 | All Time | 22.2% unanswered |
Top homotopy-type-theory Answerers
Top homotopy-type-theory Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
homotopy-type-theory × 18type-theory × 12
lambda-calculus × 3
ct.category-theory × 3
dependent-type × 3
proof-assistants × 3
reference-request × 2
lo.logic × 2
type-systems × 2
proof-theory × 2
inductive-type × 2
soft-question × 1
boolean-functions × 1
application-of-theory × 1
coq × 1
calculus-of-constructions × 1
modal-logic × 1
equivalence × 1
agda × 1