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

nronnei
Nick Ronnei
jgillman
Joel Gillman
paulfryzel
Paul Fryzel
wayneb
Wayne the Brain
vlan
Jack Valin
jaerrib
John Beers
impurist
Ettiene Du Wild