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)

manuelxavier
Manuel Xavier
zanezev
ZaneZev
lauriereco
Laurie Rediger
lewiseason
Lewis Eason
zlubowitz
Cyprian Zielinski
bugant
Matteo Centenaro
ninalewa
Nina Lewandowska
rachelm
Rachel from Engineering
ricardroyo
Ricard Royo Tort