homotopy-type-theory Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
17 | All Time | 11.8% 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 × 17cubical-type-theory × 5
type-theory × 3
category-theory × 3
lean × 2
agda × 2
normalization × 2
univalence × 2
topos × 2
coq × 1
implementation × 1
lean-mathlib × 1
lean4 × 1
universe-polymorphism × 1
universe × 1
automated × 1
proof-search × 1
implicit-argument × 1
quotient × 1
arend × 1
parametricity × 1
prop × 1
double-negation × 1
free-variables × 1
axiom-free × 1