Following

Dr. Juande Santander-Vela

@juandesant@mathstodon.xyz

Andreas Brunthaler

@brunthal@mastodon.social

Martin Modrák

@modrak_m@bayes.club

lucas_a_meyer

@lucas_a_meyer@mstdn.social

Lean

@leanprover@functional.cafe

@AllenNeuroLab

@AllenNeuroLab@neuromatch.social

B H

@barneyharris@sciences.social

David Thrane Christiansen

@d_christiansen@mathstodon.xyz

Sarah Hancock

@sarahehancock@mstdn.science

Andrew Marsh

@marshgroup@mstdn.science