Following

Igor Martayan

@imartayan@genomic.social

Laure

@lrmrl@mathstodon.xyz

Marthe

@marthe@mathstodon.xyz

Laurent Feuilloley

@LaurentFeuilloley@mastodon.social

Clément Legrand-Duchesne

@Johnlepoulpe@mathstodon.xyz

Chouhartem/Fabrice

@chouhartem@eldritch.cafe

Sang-il Oum

@sioum@mathstodon.xyz

DougMerritt (log😅 = 💧log😄)

@dougmerritt@mathstodon.xyz

Inductive nat : Set

@nore@framapiaf.org

ClaireMathInfo

@clairemathieu@lipn.info

Michael Dinitz

@mdinitz@mathstodon.xyz