Launches

Lean

LEAN

by SoftPewterFinchWETH pair0x08f44a…9146c8X

Market cap$3.3K$0.0₅3285 price
$0.0₅3285-1.9% 3d
1m5m15m1h4h1d
Jul 26 17:37O $0.0₅3324H $0.0₅3324L $0.0₅3324C $0.0₅3324Vol $72.88
$0.0₅3345$0.0₅3485$0.0₅3624$0.0₅3764$0.0₅3903Creator buy · 21.4M tokensDCreator sell · 21.9M tokensD$0.0₅332400:3517:37
CurveGraduated

Activity

  1. SideTraderLEANWETHPriceAge
  2. SellSoftPewterFinchDev21.9M0.0301 WETH$0.0₅33242mo
  3. SellSpareRustWeasel49.5M0.07314 WETH$0.0₅35772mo
  4. SellSoftSaltJaguar19.9M0.03163 WETH$0.0₅38472mo
  5. BuyCivilRoseAspen19.9M0.03226 WETH$0.0₅39252mo
  6. BuyCrispBasaltLantern49.5M0.07456 WETH$0.0₅36462mo
  7. BuySoftPewterFinchDev21.4M0.03 WETH$0.0₅33882mo

About

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

Market
Price
$0.0₅3285 0.0₈1356 WETH
Market cap
$3.3K
Volume
$657.79 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₅3285