@misc{indiciaea82bf0d46550,
  title = {Directed univalence in simplicial homotopy type theory},
  author = {Daniel Gratzer and Jonathan Weinberger and Ulrik Buchholtz},
  year = {2026},
  url = {https://arxiv.org/abs/2407.09146},
  note = {Source identifier: 2407.09146}
}