@misc{indiciae137c096118cf,
  title = {A verified algebraic representation of Cairo program execution},
  author = {Jeremy Avigad and Lior Goldberg and David Levit and Yoav Seginer and Alon Titelman},
  year = {2021},
  url = {https://arxiv.org/abs/2109.14534},
  note = {Source identifier: 2109.14534}
}