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

ariseyhun
Ari Seyhun
krzysu
Kris Urbas
dolapo
Dolapo Falola
dawi
David Kofoed Wind
mikefeineman
Mike Feineman
peutalhev
Rzhevskaya Paraskeva
0xatul
Atul