anton_trunov
Anton Trunov
I'm a Coq programmer at Zilliqa Research Pte. Ltd., previously at IMDEA Software Intitute, Madrid, Spain
Saint Petersburg, Russia
Following (1)
|
ichistmeinname Sandra Dylus |
Followers (1)
|
k4rtik Kartik Singhal |
Browse others (15)
|
brandonarnold Brandon Arnold |
|
fzondlo Frank Zondlo |
|
warnaultrrp Romain Warnault |
|
arekgrant Arkadiusz Szulc |
|
sourishkrout Sebastian Tiedtke |
|
charlotte_brf Charlotte Fereday |
|
joeylemur Ed Powell |
|
tappermichael Michael Tapper |
|
wildmaks Maksim |
|
|
roccoambasador Rocco from the kingdom nation |
|
|
aardingmanchamp Aaron Dingman |
|
baopez Masleniczkaya Sinklitikiya |
