Followers

Stephane L Rolland-Brabant ⁂⧖⏚

@stphrolland@mathstodon.xyz

ICBMRV

@ICBMRV@mastodon.social

ReCoder

@recoder@mastodon.xyz

deniok

@deniok@mastodon.social

casey davis

@caseymillsdavis@mathstodon.xyz

Kiril Chilingarashvili

@kirilchi@mathstodon.xyz

Alexey Naidénov

@anaidyonov@mathstodon.xyz

Gödel-Gentzen Translation

@ohmygoedel@mathstodon.xyz

etorreborre

@etorreborre@fosstodon.org

gemelen

@gemelen@mammut.moe