Launch feed

Lean Prover

$LEANPRE GRAD
Creator Bags
30
Holder growth
0%
Concentration
50%
Smart wallets
50%
Lifetime fees
0 SOL

AI Token Brief

AI brief will appear after the next score refresh.

Score Breakdown

Updated May 4, 09:27 AM

Stored signal
Holder growth
0%
Distribution
50%
Wallet interest
50%
Cold Start BaselineSmart Wallet Neutral Until Trade IngestionNo Real Holders After Exclusion

Launch Details

Age39h
StatusPRE GRAD
PoolDBC pool detected
Description

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

WebsiteXLaunch tx

Recent Activity

No recent trade or claim activity has been stored for this launch yet.

Alpha Wallets

No repeated wallet pattern has been detected yet.

Holder Distribution

Holder snapshot is still warming up for this token.

Holder History

09:27 AM
0

Holder count stayed at 0 across the last 12 checkpoints.

Creator
Mint
Data coverage
0 holders · 0 events

Alert History

No alert has fired for this token yet.