@inproceedings{rasekh-2025-insights,
  doi = {10.4230/LIPICS.CSL.2025.45},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.45},
  author = {Rasekh, Nima and van der Weide, Niels and Ahrens, Benedikt and North, Paige Randall},
  keywords = {formalization of mathematics, category theory, double categories, univalent foundations, Theory of computation → Logic and verification, Theory of computation → Type theory},
  language = {en},
  title = {Insights from Univalent Foundations: A Case Study Using Double Categories},
  volume = {326},
  pages = {45:1-45:18},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2025},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)}
}