Following

Lars Hupel :verified:

@lars@mastodon.hupel.info

Kevin Buzzard

@xenaproject@mathstodon.xyz

Pratyush Mishra

@zkproofs@mathstodon.xyz

FunctionalProgramming

@FunctionalProgramming@activitypub.awakari.com

Logic

@logicthylacine@feral.cafe

Srikanth ஸ்‌ரீகாந்த்

@logic@freeradical.zone

Logic Bot

@logicbot@mathstodon.xyz

Helena Viking

@Agda-Amalia@pixelfedsweden.se

Mathilde Coq

@mathildecoq@mastodon.social

Coq

@coq@framapiaf.org