Following

C.B. Aberlé

@cbaberle@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Emily Riehl

@emilyriehl@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz

ohad

@ohad@mathstodon.xyz

Paolo Perrone

@paolop@mathstodon.xyz

Pedro Amorim

@pamorim@mathstodon.xyz

daniel gratzer

@danielgratzer@mathstodon.xyz