Following

Andrej Bauer

@andrejbauer@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz

Gödel-Gentzen Translation

@ohmygoedel@mathstodon.xyz

Greg Restall

@consequently@hcommons.social

Theorem of the Day

@Theoremoftheday@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Paolo G. Giarrusso

@Blaisorblade@mathstodon.xyz

Emily Riehl

@emilyriehl@mathstodon.xyz

daniel gratzer

@danielgratzer@mathstodon.xyz

Bartosz Milewski

@BartoszMilewski@mathstodon.xyz