Lean
EnglishFollowers
11K
Growth (7d)
-
Following
50
Influence
0
Posts
769~0.3/day
Likes given
688
Media posts
106
Follower ratio
222:1
Follower growth
Not enough history yet - growth is tracked from first discovery.
Bio
Lean is a dependently-typed programming language and theorem prover.
Notable followers
The biggest accounts in our directory following @leanprover.
More Programming accounts
Lean on X - frequently asked questions
- How many followers does Lean have on X?
- Lean (@leanprover) currently has 11,122 followers on X (Twitter). The count is refreshed continuously from public data.
- When did Lean join X (Twitter)?
- Lean joined X in April 2018, making the account about 8 years old.
- How many posts has Lean published?
- Lean has published 769 posts on X, averaging about 0.3 posts per day over the account's lifetime.
- Is Lean verified on X?
- No. @leanprover does not currently display a verified checkmark on X.
- What does Lean post about?
- Lean is classified under Programming in our directory. Bio: "Lean is a dependently-typed programming language and theorem prover.".