@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app