bskyView
Sebastian Ullrich
@derkha.bsky.social
makes Lean at Lean FRO Munich, Germany
14
Followers
|
4
Following
|
0
Posts
|
Joined: 12.12.2024
| 0.8504
@derkha is following 4 prominent accounts
Sebastian Graf
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Ashley Blacquiere
@ashblacquiere
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