Related Tags
quotient × 7type-theory × 2
cubical-agda × 2
lean × 1
coq × 1
agda × 1
reference-request × 1
lean4 × 1
cubical-type-theory × 1
category-theory × 1
proof-assistant × 1
homotopy-type-theory × 1
higher-inductive-types × 1
constructive-mathematics × 1
real-numbers × 1