TY  - RPRT
TI  - A Formal Approach to AMM Fee Mechanisms with Lean 4
AU  - Marco Dessalvi
AU  - Massimo Bartoletti
AU  - Alberto Lluch-Lafuente
PY  - 2026
UR  - https://arxiv.org/abs/2602.00101
ID  - 2602.00101
ER  -