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)

bltierney
Brian Tierney
amull
Autumn Muller
jonny2000
Jonny
kingsong
Kingsong Chen
padraic
Padraic Stack
richard_pa
Richard Orta
avery
Avery Lewis
puchimba
Jordy Baylac
msd
mikesir87
Michael Irwin