Following

Gwen Fisher

@gwenbeads@mathstodon.xyz

Ayliean

@Ayliean@mathstodon.xyz

Lean

@leanprover@functional.cafe

Christian Lawson-Perfect

@christianp@mathstodon.xyz

Peter Rowlett

@peterrowlett@mathstodon.xyz

Matt Henderson

@matthen2@mathstodon.xyz

Vincent Pantaloni

@panlepan@mathstodon.xyz

Kelsey Houston-Edwards

@kelseyahe@mathstodon.xyz

Greg Egan

@gregeganSF@mathstodon.xyz

Colin Beveridge

@icecolbeveridge@mathstodon.xyz

Michael Kleber

@Log3overLog2@mathstodon.xyz