Launches

Lean

LEAN

by SoftPewterFinchWETH pair0x08f44a…9146c8X

Market cap$3.3K$0.0₅3288 price
$0.0₅3288-1.9% 3d
1m5m15m1h4h1d
Jul 26 16:00O $0.0₅3327H $0.0₅3327L $0.0₅3327C $0.0₅3327Vol $72.95
$0.0₅3349$0.0₅3488$0.0₅3628$0.0₅3767$0.0₅3907Creator buy · 21.4M tokensDCreator sell · 21.9M tokensD$0.0₅332700:0016:00
CurveGraduated

Activity

  1. SideTraderLEANWETHPriceAge
  2. SellSoftPewterFinchDev21.9M0.0301 WETH$0.0₅33272mo
  3. SellSpareRustWeasel49.5M0.07314 WETH$0.0₅3582mo
  4. SellSoftSaltJaguar19.9M0.03163 WETH$0.0₅38512mo
  5. BuyCivilRoseAspen19.9M0.03226 WETH$0.0₅39282mo
  6. BuyCrispBasaltLantern49.5M0.07456 WETH$0.0₅3652mo
  7. BuySoftPewterFinchDev21.4M0.03 WETH$0.0₅33912mo

About

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

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