Lean ✓
@leanprover · Seattle · joined 13 Apr 2018
Lean is a dependently-typed programming language and theorem prover.
Against accounts of the same size
6 posts from the last 90 days, next to the 10K–100K follower range. shown widely, but few of those viewers react.
| Metric | This account | Median for 10K–100K | Ratio |
|---|---|---|---|
| Median views per post | 6 964 | 964 | 7.22× |
| Reach (views ÷ followers) | 56.78% | 3.25% | 17.5× |
| Engagement rate | 1.41% | 2.01% | 0.70× |
Others in this range → Compare with another account → How these benchmarks are built →
Growth & engagement
How the posts we collected actually performed: views and reaction rate post by post, what the audience did with them, and where the follower count goes.
Views per post
Last 6 collected posts, oldest on the left. The scale is logarithmic: one post can outrun the rest a hundred times over.
Engagement rate per post
Reactions — likes, reposts, replies and quotes — divided by views. Median for 10K–100K accounts is 2.01%.
What the audience does
Share of every reaction we collected for this account. Replies mean argument, reposts mean endorsement, bookmarks mean the post was worth keeping.
The follower curve appears once this account has two daily snapshots — we take one a day, and this one is on its first.
Latest posts
Similar accounts
jasmine sun ✓
@jasminewsun
24.5K followers
· 5.5K posts
Liz Bachelor ✓
@Lizadorauk
24.5K followers
· 11.7K posts
Tom T. ن 🇺🇸 ש ✓
@VRWCTexan
24.5K followers
· 455K posts
Hay Festival Esp ✓
@hayfestival_esp
24.5K followers
· 36K posts
tradfi news ✓
@tradfi
24.5K followers
· 6K posts
Dr. Simón Barquera ✓
@SBarquera
24.5K followers
· 18.7K posts
arşiv efendisi ✓
@videocuefendi
24.5K followers
· 6K posts
OKN ✓
@OKNexusExchange
24.5K followers
· 45.2K posts