@inproceedings{stassen-2023-mitten,
  doi = {10.4230/LIPICS.TYPES.2022.6},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2022.6},
  author = {Stassen, Philipp and Gratzer, Daniel and Birkedal, Lars},
  keywords = {Dependent type theory, guarded recursion, modal type theory, proof assistants, Theory of computation → Type theory, Theory of computation → Modal and temporal logics},
  language = {en},
  title = {{mitten}: A Flexible Multimodal Proof Assistant},
  volume = {269},
  pages = {6:1-6:23},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2023},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {28th International Conference on Types for Proofs and Programs (TYPES 2022)}
}