Followers

Ola Abu Moamer

@ola_abu_moamer@mas.to

sci94tune

@sci94tune@mathstodon.xyz

Max Carbone

@carbone@mathstodon.xyz

XRKF

@XRKF@mastodon.social

Lean

@leanprover@functional.cafe

bjorn_solheim

@bjorn_solheim@mathstodon.xyz

José A. Alonso

@Jose_A_Alonso@mathstodon.xyz

Andrea Ciceri

@aciceri@functional.cafe

Junyan Xu

@junyanxu@mathstodon.xyz

Paul-André Melliès

@pamellies@mathstodon.xyz