Following

Lean

@leanprover@functional.cafe

littmath

@littmath@mathstodon.xyz

Egbert Rijke

@egbertrijke@mathstodon.xyz

Nikita Lisitsa

@lisyarus@mastodon.gamedev.place

Falkirk & Polmont Quakers

@falkirkquakers@mastodon.scot

zungi

@zungi@mathstodon.xyz

Dr. James Howard

@k3jph@mastodon.social

Dr Eugenia Cheng

@DrEugeniaCheng@mathstodon.xyz

Apostolis

@apostolis@social.coop

Microfractal 🫖

@Microfractal@mathstodon.xyz