Following

Pedro Amorim

@pamorim@mathstodon.xyz

Henrik Böving

@hargoniX@functional.cafe

Baris

@bbayazit16@mastodon.social

Will Crichton

@tonofcrates@mastodon.social

Joseph

@joseph314@mathstodon.xyz

markusde, ZF-∅ believer

@markusde@mathstodon.xyz

Can Lehmann

@CanLehmann@mastodon.social

jcreed

@jcreed@mastodon.social

Rachit

@notypes@discuss.systems