Alberto Lluch-Lafuente
- A Formal Approach to AMM Fee Mechanisms with Lean 4
2026/01/24 by Marco Dessalvi, Massimo Bartoletti, Alberto Lluch-Lafuente · 1 voice · 2 citations
Computer Science · Economics, Econometrics and Finance · #cs.CE #cs.CR #q-fin.MF #q-fin.TR