[go: up one dir, main page]

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)

georgemblack
George Black
kd90
kevin duong
tmh1
T. M. Hoy
plainbanana
plainbanana
stevenocampo
steven ocampo
dnkcom
-Ke