TY  - RPRT
TI  - Formalizing Automated Market Makers in the Lean 4 Theorem Prover
AU  - Daniele Pusceddu
AU  - Massimo Bartoletti
PY  - 2024
UR  - https://arxiv.org/abs/2402.06064
ID  - 2402.06064
ER  -