propositions Questions
0 | Last 7 Days | 0% unanswered |
1 | Last 30 Days | 0% unanswered |
9 | All Time | 0% unanswered |
Related Tags
propositions × 9lean4 × 4
lean × 1
beginner × 1
dependent-type × 1
inductive-type × 1
equality × 1
constructive × 1
homotopy-type-theory × 1
set-theory × 1
predicativity × 1
martin-lof-type-theory × 1
topos × 1
termination × 1
natural-deduction × 1
pie × 1
existential × 1