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)

ianfdk
Ian Fillion-de Kiewit
raghebghandour
Ragheb Ghandour
listog
Bjørn Olav Listog
jsquire
James Squire
mahaloz
Zion Leonahenahe Basque
bootloader
Paul Mason
imcaps
Al Ex