Following

Lean

@leanprover@functional.cafe

Bridgy Fed for Bluesky

@bsky.brid.gy@bsky.brid.gy

peter alvaro

@palvaro@discuss.systems

Jubi Taneja

@jubitaneja@discuss.systems

Bas Spitters

@spitters@mastodon.social

The Rocq Prover

@RocqProver@mastodon.acm.org

Matthew Green

@matthew_d_green@ioc.exchange

LucasArts Places

@lucasarts_places@mastodon.social

Functional Architecture

@funarch@discuss.systems

Niki Vazou

@nikivazou@mastodon.social