topos Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
4 | All Time | 0% unanswered |
Related Tags
topos × 4homotopy-type-theory × 2
coq × 1
dependent-type × 1
category-theory × 1
proof-assistant × 1
internal-language × 1
constructive-mathematics × 1
propositions × 1