vix.ing · top · new · best · stats

Marco Dessalvi

  1. 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