Following

Jon Sterling

@jonmsterling@mathstodon.xyz

José A. Alonso

@Jose_A_Alonso@mathstodon.xyz

Lean

@leanprover@functional.cafe

⏚ Antoine Chambert-Loir

@antoinechambertloir@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

[Ψ]

@mikymaione@mastodon.social

JordiGH

@JordiGH@mathstodon.xyz

rrogers

@rrogers@mathstodon.xyz

Dr. Michèle Nuijten

@MicheleNuijten@sciences.social

Eadaimon

@Eadaimon@mastodon.uno

Moreno Colaiacovo 🇪🇺

@emmecola@mastodon.uno