Following

Lean

@leanprover@functional.cafe

Liang-Ting Chen

@ltchen@mathstodon.xyz

Noam Zeilberger

@noamzoam@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

Emily Riehl

@emilyriehl@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Tom de Jong

@de_Jong_Tom@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

ICFP Conference

@icfp_conference@mastodon.acm.org

Robert Simon Fong

@rsfong@mathstodon.xyz

Timothy Gowers

@wtgowers@mathstodon.xyz