Following

Alex Nelson

@thmprover@mathstodon.xyz

Mike Pierce

@mikepierce@mathstodon.xyz

Pietro Monticone :verified:

@PietroMonticone@bayes.club

Jade Master

@JadeMasterMath@mathstodon.xyz

maonu

@maonu@mathstodon.xyz

Zanzi @ Monoidal Cafe

@zanzi@mathstodon.xyz

Ulrik Buchholtz

@buchholtz@mathstodon.xyz

ohad

@ohad@mathstodon.xyz

MangoIV

@mangoiv@functional.cafe

C.B. Aberlé

@cbaberle@mathstodon.xyz