Followers

Clément Legrand-Duchesne

@Johnlepoulpe@mathstodon.xyz

Laurent Feuilloley

@LaurentFeuilloley@mastodon.social

Marthe

@marthe@mathstodon.xyz

Laure

@lrmrl@mathstodon.xyz

DougMerritt (log😅 = 💧log😄)

@dougmerritt@mathstodon.xyz

Inductive nat : Set

@nore@framapiaf.org

Igor Martayan

@imartayan@genomic.social

Robert Bassett

@rbassett@mathstodon.xyz

Dr Blobfish

@drblobfish@im-in.space

Christophe Papazian

@Christophe_Papazian@mastodon.gougere.fr