You are not logged in
Bluesky Profile
@
Lean Focused Research Organization
@lean-lang.org
Registered: 14 Feb 2025 23:08
Last post: 27 Feb 2026 22:57
Supporting the Formal Mathematics revolution
This account allows followers on Bluesky to be notified of new posts from this account.
Handle history for @lean-lang.org
leanprover.bsky.social
PDS: hollowfoot.us-west.host.bsky.network
2025-02-14 23:05:58
lean-lang.org
2025-04-24 13:39:33