TY  - RPRT
TI  - Rzk: a Proof Assistant for Synthetic $\infty$-Categories
AU  - Nikolai Kudasov
AU  - Violetta Sim
AU  - Benedikt Ahrens
PY  - 2026
UR  - https://arxiv.org/abs/2607.12207
ID  - 2607.12207
ER  -