@misc{indiciae24621b5447bc,
  title = {A Linter for Isabelle: Implementation and Evaluation},
  author = {Yecine Megdiche and Fabian Huch and Lukas Stevens},
  year = {2022},
  url = {https://arxiv.org/abs/2207.10424},
  note = {Source identifier: 2207.10424}
}