Following

theHigherGeometer

@highergeometer@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Cory Doctorow

@pluralistic@mamot.fr

Lean

@leanprover@functional.cafe

Snopes

@snopes@infosec.exchange

Terence Tao

@tao@mathstodon.xyz

n-gons

@ngons@mathstodon.xyz