@misc{indiciaed47436a478c3,
  title = {Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds},
  author = {Fabian Huch},
  year = {2024},
  url = {https://arxiv.org/abs/2412.13083},
  note = {Source identifier: 2412.13083}
}