smq/directoryAn evolving quant resource archive
Paper / 2026SMQ / 244955523964728
A Formal Approach to AMM Fee Mechanisms with Lean 4
decentralized financeResource overview

A Formal Approach to AMM Fee Mechanisms with Lean 4

Paper2026

by Alberto Lluch-Lafuente, Marco Dessalvi, Massimo Bartoletti

Tags
decentralized finance

Continue on SelfMadeQuant

Understand this paper

Suggested foundations for trading research and honest backtests. Specialist prerequisites vary by paper.

Before you read

Go further

Explore a related reading path