@misc{indiciae448e580c168d,
  title = {Minuska: Towards a Formally Verified Programming Language Framework},
  author = {Jan Tušil and Jan Obdržálek},
  year = {2024},
  url = {https://arxiv.org/abs/2409.11530},
  note = {Source identifier: 2409.11530}
}