Following

⏚ Antoine Chambert-Loir

@antoinechambertloir@mathstodon.xyz

Felienne Hermans

@Felienne@mastodon.social

SYSTEMF lab

@systemf@social.epfl.ch

Sára Juhošová

@sarantja@mastodon.social

Tom Ruen

@tomruen@mathstodon.xyz

Stephane L Rolland-Brabant ⁂⧖⏚

@stphrolland@mathstodon.xyz

Snopes

@snopes@infosec.exchange

Emily Riehl

@emilyriehl@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Taichi Uemura

@tuemura@mathtod.online

Lean

@leanprover@functional.cafe