Followers

Ulrik Buchholtz

@buchholtz@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Andrés E. Caicedo

@AndresCaicedo@mathstodon.xyz

Sidney Congard

@dwarfobserver@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Niels van der Weide

@nmvdw@mathstodon.xyz

Josh Chen

@jaycech3n@mathstodon.xyz

Fredrik Bakke

@FredrikBakke@mathstodon.xyz

soaproot

@soaproot@sfba.social

Alvaro Pintado

@Convention_T@mathstodon.xyz