universe Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
21 | All Time | 14.3% unanswered |
Top universe Answerers
Top universe Askers
Last 30 Days
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
universe × 21coq × 5
universe-polymorphism × 5
type-theory × 4
lean × 3
usage × 3
inductive-type × 3
foundations × 2
agda × 2
reference-request × 2
predicativity × 2
lean3 × 2
history × 1
cubical-type-theory × 1
category-theory × 1
dependent-type × 1
set-theory × 1
lean-mathlib × 1
homotopy-type-theory × 1
univalence × 1
w-type × 1
consistency × 1
module × 1
termination × 1
side-effects × 1