stassen-2023-mitten:
  type: article
  title: '{mitten}: A Flexible Multimodal Proof Assistant'
  author:
  - Stassen, Philipp
  - Gratzer, Daniel
  - Birkedal, Lars
  date: 2023
  page-range: 6:1-6:23
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2022.6
  serial-number:
    doi: 10.4230/LIPICS.TYPES.2022.6
  parent:
    type: proceedings
    title: 28th International Conference on Types for Proofs and Programs (TYPES 2022)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 269