@misc{indiciae2f4bcd7ce241,
  title = {Certifying optimal MEV strategies with Lean},
  author = {Massimo Bartoletti and Riccardo Marchesin and Roberto Zunino},
  year = {2025},
  url = {https://arxiv.org/abs/2510.14480},
  note = {Source identifier: 2510.14480}
}