Following

72 Microseasons

@microseasons@mas.to

Sebastian Ullrich

@kha@functional.cafe

Ryan Doenges

@doenges@mathstodon.xyz

AT

@at@mathstodon.xyz

Jan de Muijnck-Hughes

@jfdm@discuss.systems

Rachit

@notypes@discuss.systems

Lean

@leanprover@functional.cafe