inductive-type Questions
1 | Last 7 Days | 0% unanswered |
2 | Last 30 Days | 0% unanswered |
40 | All Time | 22.5% unanswered |
Top inductive-type Answerers
Top inductive-type Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
inductive-type × 40coq × 15
type-theory × 8
coinductive-type × 6
agda × 5
induction × 5
lean × 4
positivity × 4
dependent-type × 3
universe × 3
lean4 × 2
reference-request × 2
eliminator × 2
calculus-of-inductive-constructions × 2
soft-question × 2
w-type × 2
prop × 2
usage × 1
beginner × 1
foundations × 1
subtyping × 1
backward-proof × 1
lean3 × 1
equality × 1
tactic × 1