Followers

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

Christian Berentsen

@jcberentsen@mas.to

darwinmorris

@darwinmorris@discuss.systems

AG57🏴‍☠️

@Anne73939133@framapiaf.org