TY  - RPRT
TI  - Formalising Decentralised Exchanges in Coq
AU  - Eske Hoy Nielsen
AU  - Danil Annenkov
AU  - Bas Spitters
PY  - 2022
UR  - https://arxiv.org/abs/2203.08016
ID  - 2203.08016
ER  -