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 (14)
|
klepa Anna Klepa |
|
deus Alexey Gapchenko |
|
bri79541327 Bri Wade |
|
iwalmsley Iain Walmsley |
|
philaquilina Phil Aquilina |
|
devdsp Adam Thomas |
|
xiaoli 行政-李 |
|
kevincapp Kevin Capp |
|
|
shuocheng Shuo Cheng |
|
horrorbusiness La Spooky |
