Following

matematiflo

@matematiflo@mathstodon.xyz

Universität Heidelberg

@uniheidelberg@xn--baw-joa.social

rbaltman

@rbaltman@mastodon.social

Helger Lipmaa

@helger@mathstodon.xyz

Boaz Barak

@boazbaraktcs@sigmoid.social

Australian Maths Society

@AustMS@mathstodon.xyz

Lean

@leanprover@functional.cafe

Terence Tao

@tao@mathstodon.xyz