@misc{indiciaee89b621aa9c1,
  title = {Rzk: a Proof Assistant for Synthetic \$\textbackslash{}infty\$-Categories},
  author = {Nikolai Kudasov and Violetta Sim and Benedikt Ahrens},
  year = {2026},
  url = {https://arxiv.org/abs/2607.12207},
  note = {Source identifier: 2607.12207}
}