Following

Lawrence Paulson

@LawrPaulson@mathstodon.xyz

Ron Garcia

@rg9119@mathstodon.xyz

David Chisnall (*Now with 50% more sarcasm!*)

@david_chisnall@infosec.exchange

Lean

@leanprover@functional.cafe

Bridgy Fed for Bluesky

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

too talented for silicon valle

@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