predicativity Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
12 | All Time | 16.7% unanswered |
Related Tags
predicativity × 12foundations × 6
type-theory × 2
coq × 2
universe × 2
martin-lof-type-theory × 2
lean × 1
mathematics × 1
agda × 1
history × 1
calculus-of-inductive-constructions × 1
set-theory × 1
soft-question × 1
hol × 1
program-extraction × 1
prop × 1
consistency × 1
realizability × 1
propositions × 1