Following

Meven Lennon-Bertrand

@mevenlennonbertrand@lipn.info

puming

@screen@mathstodon.xyz

Nikita Popov

@nikic@mastodon.social

markusde

@markusde@mathstodon.xyz

waffle

@wffl@im-in.space

Hei Li

@heili@mathstodon.xyz

Lean

@leanprover@functional.cafe

Zichen Zhang

@u8cat@mathstodon.xyz