TY  - RPRT
TI  - Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory
AU  - Vojtěch Štěpančík
PY  - 2026
UR  - https://arxiv.org/abs/2510.08452
ID  - 2510.08452
ER  -