Following

Arjun

@javathunderman@discuss.systems

Thomas Porter

@tjp@mathstodon.xyz

ahuoguo

@ahuoguo@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Lean

@leanprover@functional.cafe

Guillaume Munch-Maccagnoni

@gadmm@mathstodon.xyz

Shriram Krishnamurthi

@shriramk@mastodon.social