Following

Martin Escardo

@MartinEscardo@mathstodon.xyz

Lean

@leanprover@functional.cafe

Guillaume Munch-Maccagnoni

@gadmm@mathstodon.xyz

Shriram Krishnamurthi

@shriramk@mastodon.social

Zack Eisbach

@zackbach@mathstodon.xyz

Ron Garcia

@rg9119@mathstodon.xyz

Kelton OBrien

@kelton@mathstodon.xyz