Following

Niels van der Weide

@nmvdw@mathstodon.xyz

ohad

@ohad@mathstodon.xyz

Nicolai Kraus

@Nicolai_Kraus@mathstodon.xyz

Matteo Capucci

@mc@mathstodon.xyz

vikraman

@vc@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz

Lean

@leanprover@functional.cafe

Liang-Ting Chen

@ltchen@mathstodon.xyz

Noam Zeilberger

@noamzoam@mathstodon.xyz