Following

The Rocq Prover

@RocqProver@mastodon.acm.org

Ravi

@xolve@mastodon.social

Carnival of Mathematics

@carnivalofmaths@mathstodon.xyz

Prof. Emily M. Bender(she/her)

@emilymbender@dair-community.social

Jeremy Kun

@j2kun@mathstodon.xyz

The Aperiodical

@aperiodical@mathstodon.xyz

Theorem of the Day

@Theoremoftheday@mathstodon.xyz

Bastien Guerry

@bzg@floss.social

zamansky

@zamansky@mastodon.acm.org

Lee Spector

@lspector@sigmoid.social

Standard Ebooks

@standardebooks@mastodon.social

ListenBrainz

@ListenBrainz@mastodon.social