daimyo-tcs.bsky.social
7 following
LightNews LightNews
Martin Escardo
Martin Escardo
@martinescardo.mathstodon.xyz.ap.brid.gy
Informatheux
Informatheux
@informatheux.bsky.social
Thomas (lipsum.dev)
Thomas (lipsum.dev)
@lipsum.dev
OCaml
OCaml
@ocaml.org
Type Theory Forall
Type Theory Forall
@ttforall.bsky.social
Andrej Bauer
Andrej Bauer
@andrejbauer.mathstodon.xyz.ap.brid.gy
Bluesky
Bluesky
@bsky.app