Following

Sebastian Ullrich

@kha@functional.cafe

Todd Waugh Ambridge

@todd@mathstodon.xyz

Tom de Jong

@de_Jong_Tom@mathstodon.xyz

peterb

@peterb@mathstodon.xyz

Joachim Breitner

@nomeata@mastodon.online

Matthias Schröter

@tetraeder@noc.social

⁝lernOS

@lernos@colearn.social

Moritz Firsching

@MoritzFirsching@mathstodon.xyz

Lean

@leanprover@functional.cafe

PhysLean

@PhysLean@mathstodon.xyz

Pietro Monticone

@PietroMonticone@mathstodon.xyz

Mathematik aus Karlsruhe

@modellansatz@podcasts.social