Following

theHigherGeometer

@highergeometer@mathstodon.xyz

Lean

@leanprover@functional.cafe

Terence Tao

@tao@mathstodon.xyz

Jeremy Gibbons

@jer_gib@functional.cafe

Emilio J. Gallego Arias

@ejgallego@mathstodon.xyz

Sebastian Raschka

@SebRaschka@mastodon.social

arXiv cs.LO bot

@arXiv_csLO_bot@mastoxiv.page

Timothy Gowers

@wtgowers@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Talia Ringer

@TaliaRinger@mathstodon.xyz

Kyle Burke

@CGTKyle@mathstodon.xyz