Following

Patrick Massot

@patrick_massot@mathstodon.xyz

Sebastian Ullrich

@kha@functional.cafe

Pietro Monticone

@PietroMonticone@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Pietro Monticone :verified:

@PietroMonticone@bayes.club

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz