Launches

Lean

LEAN

by SoftPewterFinchWETH pair0x08f44a…9146c8X

Market cap$3.3K$0.0₅3308 price
$0.0₅3308-1.9% 3d
1m5m15m1h4h1d
Jul 26 17:30O $0.0₅3347H $0.0₅3347L $0.0₅3347C $0.0₅3347Vol $73.4
$0.0₅3369$0.0₅351$0.0₅365$0.0₅379$0.0₅3931Creator buy · 21.4M tokensDCreator sell · 21.9M tokensD$0.0₅334700:3017:30
CurveGraduated

Activity

  1. SideTraderLEANWETHPriceAge
  2. SellSoftPewterFinchDev21.9M0.0301 WETH$0.0₅33472mo
  3. SellSpareRustWeasel49.5M0.07314 WETH$0.0₅36022mo
  4. SellSoftSaltJaguar19.9M0.03163 WETH$0.0₅38742mo
  5. BuyCivilRoseAspen19.9M0.03226 WETH$0.0₅39522mo
  6. BuyCrispBasaltLantern49.5M0.07456 WETH$0.0₅36722mo
  7. BuySoftPewterFinchDev21.4M0.03 WETH$0.0₅34112mo

About

Lean is a dependently-typed programming language and theorem prover.

Market
Price
$0.0₅3308 0.0₈1356 WETH
Market cap
$3.3K
Volume
$662.45 0.2717 WETH
Trades
6
Last trade
2mo ago
Fees
Creator tax
0%
Fees go to
—
Creator earnings
—
Claimed
Yes, by creator
Payouts
0
Buyback
Off
Token
Supply
1B
Circulating
1B
Raised
— / — WETH
Protocol
V1
Curve contract
—
Launch block
18,584,224
Creator
Creator
SoftPewterFinch
Tokens launched
15
Graduated
15
Whitelisted wallets
0
First seen
Jul 24, 2026, 1:56 PM
LEAN$0.0₅3308