Followers

AlgebraicLogic

@maybe_algebraiclogic@mathstodon.xyz

Alexandre Moine

@amoine@discuss.systems

molly

@mollycomputerinteraction@hci.social

Ryan Brewer

@ryanbrewer@mathstodon.xyz

(Sundara (Vishnu)) (Satish)

@svishnus@mastodon.social

bourbaki

@bourbakii@mastodon.social

Henrý Ólson @ ICFP'25

@nemo@camp.crates.im

Otimsis

@Otimsis@mst3k.interlinked.me

Adela

@adldng@mathstodon.xyz

⊨

@entailment@woof.tech