Following

C.B. Aberlé

@cbaberle@mathstodon.xyz

Typst

@typst@mastodon.social

OCaml

@ocaml@mastodon.social

Taichi Uemura

@tuemura@mathtod.online

daniel gratzer

@danielgratzer@mathstodon.xyz

favonia

@favonia@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz