Following
Andrej Bauer
@andrejbauer@mathstodon.xyz
Some theorems
@CihanPostsThms@mathstodon.xyz
Taichi Uemura
@tuemura@mathtod.online
Terence Tao
@tao@mathstodon.xyz
Bartosz Milewski
@BartoszMilewski@mathstodon.xyz
John Carlos Baez
@johncarlosbaez@mathstodon.xyz
Christian Lawson-Perfect
@christianp@mathstodon.xyz