Followers

⊨

@entailment@woof.tech

iogrt

@iogrt@functional.cafe

HoldMyType

@xameer@mathstodon.xyz

Grégoire Locqueville

@glocq@mathstodon.xyz

fgaz

@fgaz@fe.disroot.org

pretentious7

@pretentious7@mathstodon.xyz

tristanC

@tristanC@functional.cafe

foxmean

@foxmean@mastodon.social

gaunilone

@gaunilone@mastodon.social