@misc{indiciae42e31bca7414,
  title = {Formalization of dependent type theory: The example of CaTT},
  author = {Thibaut Benjamin},
  year = {2021},
  doi = {10.4230/lipics.types.2021.2},
  url = {https://arxiv.org/abs/2111.14736},
  note = {Source identifier: 2111.14736}
}