Following
@derkha.bsky.socialSebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Bluesky @bsky.app official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app