Following
quiver
@quiver@mathstodon.xyz
John Carlos Baez
@johncarlosbaez@mathstodon.xyz
Bartosz Milewski
@BartoszMilewski@mathstodon.xyz
Bruno Gavranović
@bgavran@mathstodon.xyz
0xDE
@@mathstodon.xyz
Matteo Capucci
@mc@mathstodon.xyz
julesh
@julesh@mathstodon.xyz
Lean
@leanprover@functional.cafe
HaskellOrg
@haskell@fosstodon.org
Terence Tao
@tao@mathstodon.xyz