Following

Paul-André Melliès

@pamellies@mathstodon.xyz

Lean

@leanprover@functional.cafe

Greg Restall

@consequently@hcommons.social

rogers

@rogers@lipn.info

Emily Riehl

@emilyriehl@mathstodon.xyz

Rafaël Bocquet

@rafaelbocquet@mathstodon.xyz

mizunashi

@mizunashi@social.vivaldi.net

Ivory by Tapbots :emoji_wink:

@ivory@tapbots.social

Tom de Jong

@de_Jong_Tom@mathstodon.xyz