Following

chloe

@schala163@mathstodon.xyz

Jonathan Beardsley

@jbeardsleymath@mathstodon.xyz

Emily 🏳️‍⚧️ (she/her)

@emily_etale@mathstodon.xyz

Lean

@leanprover@functional.cafe

Andrej Bauer

@andrejbauer@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Joe Moeller

@Joemoeller@mathstodon.xyz

littmath

@littmath@mathstodon.xyz

Timothy Gowers

@wtgowers@mathstodon.xyz

jules

@hegeliantaco@mathstodon.xyz

Simon Pepin Lehalleur

@plain_simon@mathstodon.xyz