@misc{indiciae0a7a234066bf,
  title = {Baking for Dafny: A CakeML Backend for Dafny},
  author = {Daniel Nezamabadi and Magnus Myreen},
  year = {2025},
  url = {https://arxiv.org/abs/2501.05111},
  note = {Source identifier: 2501.05111}
}