Followers

Gödel-Gentzen Translation

@ohmygoedel@mathstodon.xyz

Todd Waugh Ambridge

@todd@mathstodon.xyz

Simon Fowler

@simon_jf@mastodon.scot

ohad

@ohad@mathstodon.xyz

vikraman

@vc@mathstodon.xyz

Yee-Jian Tan

@yeejian_tan@mathstodon.xyz

Axel Ljungström

@ljungstrom@mathstodon.xyz

Atif

@atif@mathstodon.xyz