Formal Methods Europe
89 following
LightNews LightNews
Professor Tom Crick
Professor Tom Crick
@proftomcrick.com
Orpheus Lummis
Orpheus Lummis
@orpheuslummis.info
Eerke Boiten
Eerke Boiten
@eerkeboiten.bsky.social
Davide Ancona
Davide Ancona
@davideancona.bsky.social
Anshu Sharma
Anshu Sharma
@anshugsharma.myatproto.social
streamlight.bsky.social
streamlight.bsky.social
@streamlight.bsky.social
chloroauric.bsky.social
chloroauric.bsky.social
@chloroauric.bsky.social
Balajee
Balajee
@balajee.bsky.social
Diego Marmsoler
Diego Marmsoler
@dmarmsoler.bsky.social
José A. Alonso
José A. Alonso
@jalonso.bsky.social
Lean Focused Research Organization
Lean Focused Research Organization
@lean-lang.org
Heidi Howard
Heidi Howard
@heidihoward.bsky.social
Kettle, Turing-complete
Kettle, Turing-complete
@turing-full-kettle.bsky.social
Einar Broch Johnsen
Einar Broch Johnsen
@ebjohnsen.bsky.social
Andrea Bombarda
Andrea Bombarda
@bombardandrea.bsky.social
mhsabbasi.bsky.social
mhsabbasi.bsky.social
@mhsabbasi.bsky.social
Yannis Kassios
Yannis Kassios
@yannis-kassios.bsky.social
Guido Salvaneschi
Guido Salvaneschi
@guidosalva.bsky.social
sadams-nl.bsky.social
sadams-nl.bsky.social
@sadams-nl.bsky.social
heyheiko.bsky.social
heyheiko.bsky.social
@heyheiko.bsky.social
Michael Schwarz
Michael Schwarz
@93mschwarz.bsky.social
Ben Hermann
Ben Hermann
@benhermann.eu
Julien Signoles
Julien Signoles
@julien-signoles.bsky.social
Daniel Sokolowski
Daniel Sokolowski
@dsoko.bsky.social
Jahrim Gabriele Cesario
Jahrim Gabriele Cesario
@jahrim.bsky.social
Joshua Garcia
Joshua Garcia
@joshua-garcia-swe.bsky.social
ondralengal.bsky.social
ondralengal.bsky.social
@ondralengal.bsky.social
Ishan S.
Ishan S.
@nahsimai.bsky.social
Noa Kaplan
Noa Kaplan
@noakaplan.bsky.social
Guillaume Claret
Guillaume Claret
@guillaume-claret.bsky.social
Dr Olga Petrovska
Dr Olga Petrovska
@drolga.bsky.social
Emile van Krieken
Emile van Krieken
@emilevankrieken.com
Pedro de las Heras Quirós
Pedro de las Heras Quirós
@pheras.bsky.social
Tim McNamara
Tim McNamara
@timclicks.dev
Abhik Jain
Abhik Jain
@abhikjain360.com
Klaus Schmid
@sklaus.bsky.social
Abel Dantas
Abel Dantas
@abeldantas.bsky.social
Jeremy
Jeremy
@jrmyd.bsky.social
Formal Land
Formal Land
@formalland.bsky.social
Dominik Tornow
Dominik Tornow
@dominiktornow.bsky.social
sabree λ ☕ → 🥓 → 👨🏿‍💻
sabree λ ☕ → 🥓 → 👨🏿‍💻
@heavypackets.bsky.social
Carlos Baquero
Carlos Baquero
@xmal.bsky.social
Kuniwak
Kuniwak
@kuniwak.com
Heerko Groefsema
Heerko Groefsema
@heerkog.bsky.social
Ashfaq Farooqui
Ashfaq Farooqui
@ashfaqfarooqui.bsky.social
Alexa VanHatttum
Alexa VanHatttum
@avh.bsky.social
taylortjohnson.bsky.social
taylortjohnson.bsky.social
@taylortjohnson.bsky.social
Andreas Graf
@grafandreas.bsky.social
Lef Ioannidis
Lef Ioannidis
@elefthei.bsky.social
Étienne André
Étienne André
@etienneandre.bsky.social
Load more