Creator Profile - ViralVibes
leanprover community
@leanprovercommunity5485📅 6y📹 2.8/mo
Subscribers
4.7K
#8014 in Science & Technology
Total Views
228.5K
Videos Published
211
Est. Revenue
$191/mo
About
Videos hosted by the Lean theorem prover user community.
Lean "proof assistant" "theorem proving" math mathematics verification "formal proof"
Channel Info
Handle@leanprovercommunity5485
Founded2020-01-16
Channel Age6y
CountryUnknown
LanguageUnknown
CategoryScience & Technology
Total Videos211
Upload Rate2.8 videos/month (every 10.8 days)
Latest Upload
David Ledvinka - Formalization of Brownian Motion in Lean (Lean Together 2026)
543 views·26:33·Jan 28, 2026
Performance
Avg Views / Video (last 10)308
Views / Subscriber48.61x
Upload Rate2.8 / month (every 10.8 days)
Engagement Score
3.7 / 10≈ category avg
Your recent videos average 308 views. Growing this number is the fastest path to higher ad and deal revenue.
Growth tracking initializing
A baseline was just set — come back in 7+ days to see your 30-day growth rate.
AdSense — long-form$68
AdSense — Shorts$4
Brand deals (est.)$117
Assumed Shorts mix80%
Rankings
🔬 Science & Technology
#8014in category
Content Breakdown
🔬 Science & Technology
100%
How leanprover community compares
vs 17,645 creators in Science & Technology