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 (13)
|
vitaliy Vitaliy Gladkevitch |
|
|
netuss Aneta Bojanowska |
|
zkwartler Zach Kwartler |
|
ruchi Ruchi Agarwal |
|
ivanamoonmango Ivana Mitrovic |
|
mozia Emmanuel chidozie |
|
deeay Diana A. |
|
|
jhnicholson Judi Nicholdon |
|
pugthelouie Jack |
|
danieldee daniel derzic |
|
caespinozaj Cristóbal Espinoza |
