Following

thierrycoquand

@thierrycoquand@mastodon.social

ProofsRPrograms

@jlcaldwell2@mastodon.social

Paul-André Melliès

@pamellies@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Samuel J. Huskey

@sjhuskey@hcommons.social

MI Göttingen

@migoettingen@academiccloud.social

dansup

@dansup@mastodon.social

Clemens Schmid

@ClemensSchmid@archaeo.social

Martin Escardo

@MartinEscardo@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz

Bob Coecke

@Bob_Coecke@mathstodon.xyz