Following

poohnilista (math)

@poohnilista@mathstodon.xyz

Lucas Giraldi A. Coimbra

@lucasgiraldiac@mathstodon.xyz

Gödel-Gentzen Translation

@ohmygoedel@mathstodon.xyz

Fernando Silva

@ffilhof@mathstodon.xyz

Michael Kinyon

@ProfKinyon@mathstodon.xyz

Dan Christensen

@jdchristensen@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Niles Johnson

@nilesjohnson@mathstodon.xyz

Rubens Pasa :dna:

@rpasa@bertha.social

André

@higherodyssey@mathstodon.xyz