@misc{indiciae369a4f5ae534,
  title = {Formalising Decentralised Exchanges in Coq},
  author = {Eske Hoy Nielsen and Danil Annenkov and Bas Spitters},
  year = {2022},
  url = {https://arxiv.org/abs/2203.08016},
  note = {Source identifier: 2203.08016}
}