lleutch
Fahd abdeljallal
- static verification/formal proofs/type theory learner/lover/newbie - that’s pretty much it!!😂
France
Start a chat
Your conversation will be end-to-end encrypted.

Following (1)

alpheccar
alpheccar

Followers (1)

alpheccar
alpheccar

Browse others (13)

aldfaj
Aldin Fajic
nnezis
Nicholas Nezis
takb
Tom B
genetikayos
T.R. Fullhart
markcce
Mark Anthony Xuereb
bagomot
Bagomot
dgouldin
David Gouldin
shinecho
shine.cho
didiraggio
Diego Raggio
tai
ZHANG Tai
pkuphy
Yang
frolki1_dev
Frank Giger