Launches

Lean

LEAN

by SoftPewterFinchWETH pair0x08f44a…9146c8X

Market cap$3.3K$0.0₅3289 price
$0.0₅3289-1.9% 2d
1m5m15m1h4h1d
Jul 26 00:00O $0.0₅3329H $0.0₅3329L $0.0₅3329C $0.0₅3329Vol $72.99
$0.0₅3351$0.0₅349$0.0₅363$0.0₅3769$0.0₅3909Creator buy · 21.4M tokensDCreator sell · 21.9M tokensD$0.0₅332900:0000:00
CurveGraduated

Activity

  1. SideTraderLEANWETHPriceAge
  2. SellSoftPewterFinchDev21.9M0.0301 WETH$0.0₅33292mo
  3. SellSpareRustWeasel49.5M0.07314 WETH$0.0₅35822mo
  4. SellSoftSaltJaguar19.9M0.03163 WETH$0.0₅38532mo
  5. BuyCivilRoseAspen19.9M0.03226 WETH$0.0₅3932mo
  6. BuyCrispBasaltLantern49.5M0.07456 WETH$0.0₅36522mo
  7. BuySoftPewterFinchDev21.4M0.03 WETH$0.0₅33932mo

About

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

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