@misc{indiciaeb2c8bf7b0e9f,
  title = {Interaction with Formal Mathematical Documents in Isabelle/PIDE},
  author = {Makarius Wenzel},
  year = {2019},
  url = {https://arxiv.org/abs/1905.01735},
  note = {Source identifier: 1905.01735}
}