Following

Holos Social

@HolosSocial@mastodon.social

Knowledge Pixels

@knowledgepixels@mstdn.social

Lean

@leanprover@functional.cafe

PDP Libre

@pdp_libre@piaille.fr

FUN OCaml

@fun@watch.ocaml.org

G. Allais

@gallais@mamot.fr

The Rocq Prover

@RocqProver@mastodon.acm.org

VeilidNetwork

@VeilidNetwork@masto.hackers.town

Beady Belle Fanchannel

@Profpatsch@mastodon.xyz

Michael Szell

@mszll@datasci.social