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)

jvd
Joep van Delft
zebrax
Kadir A
molven
Espen Molven
gruffymax
Gareth Waymark
nall
nall.
jasperwesselink
Jasper Wesselink
mxw
michael
solomon50
Solomon Kenneth
intef
Juha Suominen
knallago
KiranKumar Nallagonda
gerard_
Gerard Mazza
juanmoran13
Juan David Morán Bonilla