Lean
LEAN
Sell
0
—ETH 0
Buy
LEAN
0
—0 available
Slippage
Back0
About
Lean is a dependently-typed programming language and theorem prover.
BurnedIndexing burns
Loading trades
Degraded performanceWe are upgrading the backend ahead of a new rollout. Launches and market data may load slowly or read out of date.
