TY  - RPRT
TI  - A verified algebraic representation of Cairo program execution
AU  - Jeremy Avigad
AU  - Lior Goldberg
AU  - David Levit
AU  - Yoav Seginer
AU  - Alon Titelman
PY  - 2021
UR  - https://arxiv.org/abs/2109.14534
ID  - 2109.14534
ER  -