[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)

jarrettj
Jack Jarrett
munchkin8989
Nicole DiLeo
alexandersblum
Alexander S Blum
qgjones9
Quincy Jones
halcy0n
Mark Loeser
juanmelendez
Juan R. Melendez
rsuehle
Ruth Suehle
waqasahmed
Waqas