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)

ananyak
Ananya Kumar
meaneya
Anna Meaney
harshin93
Harshin Mehta
jeffvogelsang
Jeff Vogelsang
laurie_gellatly
Laurie Gellatly
oui
gianni
sudokillminus9
Dan Pollack