Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
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)

ksandom
Kevin Sandom
strategee
Nelly Jerry
s0b
sob
jamrhein
Julia Amrhein
vbauerster
Vladimir Bauer
urlnotfound
Jonathan Clark
9455269990
Christopher Callas