BlueFacts
BlueFacts
Top
Trending
Fastest Growing
Top New
Most Engaging
Top
Trending
Most Engaging
BlueFacts
📊 User Rankings
Top Users
Trending Users
Fastest Growing
Top New Accounts
Most Engaging
Popular Politicians
📈 Bluesky Growth Stats
Bluesky User Growth
Bluesky Account Age
📰 Content Rankings
Top Posts
Top Videos
Popular Tags
📚 Feed Tools & Insights
Feed Builder
Feed Statistics
Starter Packs
Bluesky Communities
🛠️ Additional Tools & Resources
Profile Lookup
App Directory
Promote your Bluesky account
❓ Frequently Asked Questions
FAQ
Navigation
📊 User Rankings
Top Users
Trending Users
Fastest Growing
Top New Accounts
Most Engaging
Popular Politicians
📈 Bluesky Growth Stats
Bluesky User Growth
Bluesky Account Age
📰 Content Rankings
Top Posts
Top Videos
Popular Tags
📚 Feed Tools & Insights
Feed Builder
Feed Statistics
Starter Packs
Bluesky Communities
🛠️ Additional Tools & Resources
Profile Lookup
App Directory
Promote your Bluesky account
❓ Frequently Asked Questions
FAQ
Follow us on Bluesky
Bluesky Tags
/
#LeanProver
#LeanProver
In the past 30 days,
5
users have made
88
posts using the
#LeanProver
tag.
Related tags
#ITP
(72)
#math
(44)
#AI
(12)
#FunctionalProgramming
(12)
#LLMs
(10)
#logic
(7)
#Haskell
(7)
#programming
(6)
#Coq
(6)
#ATP
(5)
#compsci
(5)
View posts on Bluesky
Back to all tags