Launches

Lean

LEAN

by SoftPewterFinchWETH pair0x08f44a…9146c8X

Market cap$3.3K$0.0₅3272 price
$0.0₅3272-1.9% 3d
1m5m15m1h4h1d
Jul 26 17:35O $0.0₅3311H $0.0₅3311L $0.0₅3311C $0.0₅3311Vol $72.61
$0.0₅3333$0.0₅3472$0.0₅3611$0.0₅375$0.0₅3888Creator buy · 21.4M tokensDCreator sell · 21.9M tokensD$0.0₅331100:3517:35
CurveGraduated

Activity

  1. SideTraderLEANWETHPriceAge
  2. SellSoftPewterFinchDev21.9M0.0301 WETH$0.0₅33112mo
  3. SellSpareRustWeasel49.5M0.07314 WETH$0.0₅35642mo
  4. SellSoftSaltJaguar19.9M0.03163 WETH$0.0₅38332mo
  5. BuyCivilRoseAspen19.9M0.03226 WETH$0.0₅3912mo
  6. BuyCrispBasaltLantern49.5M0.07456 WETH$0.0₅36332mo
  7. BuySoftPewterFinchDev21.4M0.03 WETH$0.0₅33752mo

About

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

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