Followers

Gödel-Gentzen Translation

@ohmygoedel@mathstodon.xyz

Christian Jäh

@christianjaeh@mathstodon.xyz

Daniel Rogozin

@Supernaut@mathstodon.xyz

Stephane L Rolland-Brabant ⁂⧖⏚

@stphrolland@mathstodon.xyz

Jon Awbrey

@Inquiry@mathstodon.xyz

Andrés Villaveces Niño

@andresvillaveces@mathstodon.xyz

Peter Smith

@PeterSmith@mathstodon.xyz

Liang-Ting Chen

@ltchen@mathstodon.xyz

Leonardo Pacheco

@leonardopacheco@mathstodon.xyz

Alvaro Pintado

@Convention_T@mathstodon.xyz