Lean Add us as a preferred source on Google
🔄 Data last refreshed 14 hours ago
🤝
Make a deal with Lean
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
1.2K
Account age
3 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
🎁 Free analysisfor Lean
Known for
23 views
Lean 4.30.0 is live! 306 changes. Highlights from the release notes:
𝚜𝚢𝚖 =>, a new interactive tactic built on 𝚐𝚛𝚒𝚗𝚍, giving users explicit step-by-step control during proof search
𝚌𝚋𝚟 is no longer experimental, gaining 𝚊𝚝 location syntax, a 𝚌𝚋𝚟_𝚜𝚒𝚖𝚙𝚛𝚘𝚌 system, and short-circuit evaluation for 𝙾𝚛/𝙰𝚗𝚍
LCNF compiler backend complete, with the expand reset/reuse port yielding a ~15% decrease in binar
23 views
New Lean use case: Veil, a multi-modal verification framework for distributed protocols.
Distributed protocols underpin critical infrastructure, yet no single verification technique is sufficient. Model checking finds bugs but can't prove correctness. SMT solvers provide push-button proofs but fail outside decidable fragments. Proof assistants handle anything but demand manual effort.
Veil integra
15 views
Lean 4.31.0 is released.
This consolidation-heavy release brings 305 changes. For those working on verified software: repeat/while loops are now verifiable without requiring source changes, expanding through whileM to support a one-step unfolding lemma. The new experimental mvcgen' tactic, reimplemented from the ground up on the SymM-based symbolic evaluation framework, can outperform mvcgen by a
13 views
Lean 4.32.0 is released, with 102 changes total, including the new do elaborator, introduced experimentally in 4.29, is now the default. The legacy elaborator remains available via backward.do.legacy for anyone who needs it.
Also in this release:
A new module linter framework, letting checks run once per module instead of after every command, useful for enforcing whole-module conventions.
A round
📊 Post engagement
Recent posts · likes + reposts
Feb 10latest
13
Avg engagement / post
6–15
Typical post (engagement)
1.1%
Engagement vs followers
71/100
Consistent reach
Jul 2023
On Mastodon since
Half of recent posts land between 6 and 15 likes + reposts (median 13) — a dependable floor a sponsored post can count on.
🔥 Top post: "Can we prove that Signal's cryptography is secure — not just on · 33 likes + reposts
📊 Activity & format
Posting cadence
0.55 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly images
Recent: 2 text · 10 image · 0 video.
Follower / following
73×
Follows 17 back. A strong ratio — an audience that follows them, not a follow-for-follow network.
Recent posts
View on Mastodon ↗
Lean 4.32.0 is released, with 102 changes total, including the new do elaborator, introduced experimentally in 4.29, is now the default. The legacy elaborator remains available via backward.do.legacy for anyone who needs it.
Also in this r…
The Simons Foundation's 2025 annual report mentions Lean in three of its articles.
The feature "From Trust to Verification" explains how formalizing a proof lets other mathematicians build on it with confidence, regardless of where it was …
Lean 4.31.0 is released.
This consolidation-heavy release brings 305 changes. For those working on verified software: repeat/while loops are now verifiable without requiring source changes, expanding through whileM to support a one-step un…
The Proof in the Code, Kevin Hartnett's new book on the development of Lean and Mathlib, is out today.
https://www.quantabooks.org/books/the-proof-in-the-code/
To mark the launch, a two-part online panel series with the author:
The Mathema…
A two-part online panel series marks the launch of The Proof in the Code, Kevin Hartnett's new book on Lean and Mathlib.
The Mathematicians. June 11, 5pm UTC. Johan Commelin, Kevin Buzzard, and Alex Kontorovich on formalizing mathematics i…
Lean 4.30.0 is live! 306 changes. Highlights from the release notes:
𝚜𝚢𝚖 =>, a new interactive tactic built on 𝚐𝚛𝚒𝚗𝚍, giving users explicit step-by-step control during proof search
𝚌𝚋𝚟 is no longer experimental, gaining 𝚊𝚝 location syntax,…
Recordings from the SVIL in Lean 2026 workshop are now available.
Researchers from the Beneficial AI Foundation, Lean FRO, Microsoft Research, Cryspen and others gathered to share recent advances in building verified software, including th…
Lean 4.29.0 released with 453 changes.
Highlights: reduced startup time through static initialization of closed terms, simpler 𝚗𝚘𝚗𝚌𝚘𝚖𝚙𝚞𝚝𝚊𝚋𝚕𝚎 semantics improving predictability, higher-order Miller pattern support in 𝚐𝚛𝚒𝚗𝚍's e-matching eng…
New Lean use case: Veil, a multi-modal verification framework for distributed protocols.
Distributed protocols underpin critical infrastructure, yet no single verification technique is sufficient. Model checking finds bugs but can't prove …
The next bi-monthly #Mathlib community meeting is tomorrow Friday, 13th at 3pm UTC. Join to hear about ongoing #LeanLang formalization projects and connect with other contributors!
➡️ See all upcoming community events on our website: htt…
The next Lean FRO office hours are Feb. 11 at 4pm UTC. Bring your questions, share your projects, or just come to learn from others in the community!
See our full calendar here: https://lean-lang.org/community/#events
#LeanLang #LeanP…
🐘 Community & instance
Home server
functional.cafe
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Jul 2023
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2023 — 3 years ago.
👁️Averages 13 views per post.
📤Posts about 0.6× per week.
🕵️ Fake follower check
Estimated66/100
Good
Credibility score
89%
Real
Real audience
Low
Fake-follower risk
High
Data confidence
- Est. 89% real, active audience · Low fake-follower risk.
- Engagement (~1.1% of followers engage each post) is around typical for Mastodon.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Official account of the Lean theorem prover and programming language
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
More like this
Find more →
Mastodon
＋
ReimanSaara
@reimansaara@mementomori.social
1.2K
Followers
Mastodon
＋
Drew Fustini ✓
@pdp7@fosstodon.org
1.2K
Followers
Mastodon
＋
Lars Holgersson 🎶
@larsibacken@mastodon.nu
1.2K
Followers
Mastodon
＋
Joe
@joenash@hachyderm.io
1.2K
Followers
Mastodon
＋
Alarmingly Bad
@alarminglybad@mstdn.social
1.2K
Followers
Mastodon
＋
𝙽𝙴𝚃𝚁𝙴𝚂𝙴𝙲 ✓
@netresec@infosec.exchange
1.2K
Followers
Frequently asked questions
How much does Lean charge for a sponsorship?
Lean hasn't published fixed prices yet. Send a proposal through SocialDB and agree terms directly — your payment is held in escrow until the work is approved.
How do I contact Lean for a brand deal or collaboration?
Send a paid deal or collab request right here on SocialDB — we notify Lean, and once they accept, your payment is held safely in escrow and released when the work is approved. You don't need to track down an email.
How many followers does Lean have?
Lean has 1,237 followers on Mastodon.
✉ Message Lean
Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.
- ✓ Message any influencer from their listing
- ✓ The influencer gets notified by email
- ✓ Manage every conversation in one inbox
Already Pro? Log in.
🎤 Event / appearance with Lean
Booking an event / appearance is a Pro feature. Upgrade to book Lean for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Lean gets notified by email
- ✓ Fee held in escrow, released after the appearance
Already Pro? Log in.
🚀
You're out of free requests this month
Free accounts get 5 per month. Go Pro for unlimited sponsor pitches, collab requests & sponsorship deals — plus featured placement, the Verified badge, free withdrawals and more.
Upgrade to Pro — $9.95/mo →Your free limit resets on the 1st of next month.
Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove