Following

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

Zach

@zaxioms@mathstodon.xyz

jcreed

@jcreed@mastodon.social