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 (14)

jessicazq
Jessica Zapata
carlenekado
Carlene Kado
morales2k
Jorge Morales
jrosa
Jorge Rosa
andreidosa
Andrei Dosa
kzs0045
Kang Sun
proveg_isaiz
Ignacia Saiz
mdresden_launch
Matthew Dresden