Following
Alex Nedelcu
@alexelcu@mastodon.social
HoldMyType
@xameer@mathstodon.xyz
Jesper Agdakx 🔸
@jesper@agda.club
Jan de Muijnck-Hughes
@jfdm@discuss.systems
Colin the Mathmo
@ColinTheMathmo@mathstodon.xyz
arialdo
@arialdo@mastodon.online
Marc
@corpsmoderne@mamot.fr
wk
@wk@mathstodon.xyz
Anthony Cowley
@acowley@mastodon.social