anton_trunov
Anton Trunov
I'm a Coq programmer at Zilliqa Research Pte. Ltd., previously at IMDEA Software Intitute, Madrid, Spain
Saint Petersburg, Russia
Start a chat
Your conversation will be end-to-end encrypted.

Following (1)

ichistmeinname
Sandra Dylus

Followers (1)

k4rtik
Kartik Singhal

Browse others (15)

ursm
Urs
eroura
Eloy Roura
bisgrig
Shannon May
mrubens
Matt Rubens
gbradley
Gareth Bradley
cdpultra
Chandan D
jgu
Jimmy Gu
richardmo
Richard Mo
iiziben
Benedek Simkó
brianmtully
Brian M Tully
dagdanar
Korrea Karla
jmbates
James Bates