Followers

Shing Hin Ho

@shinghin@mathstodon.xyz

Niels van der Weide

@nmvdw@mathstodon.xyz

Jakob

@jdw@mathstodon.xyz

Daniel Mlot

@duplode@mathstodon.xyz

Gödel-Gentzen Translation

@ohmygoedel@mathstodon.xyz

Todd Waugh Ambridge

@todd@mathstodon.xyz

Simon Fowler

@simon_jf@mastodon.scot

ohad

@ohad@mathstodon.xyz