Following

Vicente ⁂

@vgarzareyna@mstdn.mx

peterb

@peterb@mathstodon.xyz

Andres Löh

@kosmikus@functional.cafe

Lean

@leanprover@functional.cafe

Cap E Bara

@cap_ybarra@beige.party

Vicente ⁂

@vgarzareyna@mathstodon.xyz

Haskell Weekly

@haskell_discussions@mastodon.social

José A. Alonso

@Jose_A_Alonso@mathstodon.xyz

Marco Dalla Stella

@mdallastella@functional.cafe

Bartosz Milewski

@BartoszMilewski@mathstodon.xyz