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 (2)

fzoc
Franck Zoccolo
alpheccar
alpheccar

Browse others (15)

pritamkar
Pritam Kar
laado
Zubatov Evstahiy
dpbus
David Busse
brendmap
Bruce Cunningham
pbutler
Paul Butler
anton_rf
Anton_RF
special99
Bao Nguyen
jpd
J.P. Doherty
facted
Facted
sachmo86
Sachieko Gandawali
sjkx
Scott J. Kramer
mcgrof
Luis R. Rodriguez
rafaelfigueiredo
Rafael Figueiredo