Followers

Jakub Opršal

@jakub_et_al@mathstodon.xyz

Alexandre Moine

@amoine@discuss.systems

Runming

@runmingl@mathstodon.xyz

Inductive nat : Set

@nore@framapiaf.org

jnpn

@jnpn@mastodon.social

avmu

@avmu@mathstodon.xyz

Anky

@ankylosaurus@piaille.fr

Andrea Bevilacqua

@e0mc2aner@mathstodon.xyz

Christopher Hughes

@dorhinj@mathstodon.xyz

Clemens

@clemens@mathstodon.xyz

Dan Frumin

@dif@mathstodon.xyz