universe-polymorphism Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
12 | All Time | 8.3% unanswered |
Related Tags
universe-polymorphism × 12universe × 5
usage × 3
coq × 3
agda × 2
lean × 1
lean4 × 1
dependent-type × 1
cumulativity × 1
set-theory × 1
lean3 × 1
proof-review × 1
calculus-of-inductive-constructions × 1
homotopy-type-theory × 1
univalence × 1
module × 1